{"type": "article", "title": "Mathematicians use Lean to verify proofs, whats the equivalent for patent claims", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/mathematicians-use-lean-to-verify-proofs-whats-the-equivalent-for-patent-claims", "original_source": "https://fearn.ai/newsletter/building-formalization-infrastructure-for-patents", "published": "2026-06-15T16:27:41+00:00", "accessed": "2026-06-15", "id": "mathematicians-use-lean-to-verify-proofs-whats-the-equivalent-for-patent-claims"}