{"id":2152,"count":1,"description":"software for interactive and automated theorem proving","link":"https:\/\/flaven.fr\/tag\/lean\/","name":"Lean","slug":"lean","taxonomy":"post_tag","meta":[],"_links":{"self":[{"href":"https:\/\/flaven.fr\/happy-api\/wp\/v2\/tags\/2152","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/flaven.fr\/happy-api\/wp\/v2\/tags"}],"about":[{"href":"https:\/\/flaven.fr\/happy-api\/wp\/v2\/taxonomies\/post_tag"}],"wp:post_type":[{"href":"https:\/\/flaven.fr\/happy-api\/wp\/v2\/posts?tags=2152"},{"href":"https:\/\/flaven.fr\/happy-api\/wp\/v2\/clients?tags=2152"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}