50 years of proof assistants
baruchel Friday, December 12, 2025
Summary
The article provides an overview of the history and development of proof assistants, software tools that help with the formalization and verification of mathematical and logical proofs. It covers the key milestones in the field, from the early work on theorem-proving systems in the 1960s to the modern advancements in proof assistants like Coq, Isabelle, and others.
138
29
Summary
lawrencecpaulson.github.io