{"type": "article", "title": "The Lean Theorem Prover: Design, Evolution, and Impact", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/the-lean-theorem-prover-design-evolution-and-impact", "original_source": "https://leodemoura.github.io/static/floc26/", "published": "2026-07-27T07:29:15+00:00", "accessed": "2026-07-27", "id": "the-lean-theorem-prover-design-evolution-and-impact"}