{"type": "article", "title": "50 Years of Proof Assistants", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/50-years-of-proof-assistants", "original_source": "https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html", "published": "2026-05-26T14:31:17+00:00", "accessed": "2026-07-10", "id": "50-years-of-proof-assistants"}