{"id":563,"count":3,"description":"software for interactive and automated theorem proving","link":"https:\/\/flaven.fr\/tag\/lean-ux\/","name":"Lean UX","slug":"lean-ux","taxonomy":"post_tag","meta":[],"_links":{"self":[{"href":"https:\/\/flaven.fr\/happy-api\/wp\/v2\/tags\/563","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=563"},{"href":"https:\/\/flaven.fr\/happy-api\/wp\/v2\/clients?tags=563"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}