{"id":68089,"count":1,"description":"","link":"https:\/\/www.europesays.com\/ai\/tag\/lean-4-formal-proof\/","name":"Lean 4 formal proof","slug":"lean-4-formal-proof","taxonomy":"post_tag","meta":[],"_links":{"self":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/tags\/68089","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/tags"}],"about":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/taxonomies\/post_tag"}],"wp:post_type":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/posts?tags=68089"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}