Developments in Formal Proofs

zbMath1356.03003arXiv1408.6474MaRDI QIDQ2967791

Thomas C. Hales

Publication date: 2 March 2017

Full work available at URL: https://arxiv.org/abs/1408.6474

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35)

Related Items

A FORMAL PROOF OF THE KEPLER CONJECTURE ⋮ Mathematics and the formal turn

Uses Software

• Coq
• Isabelle
• Mizar
• HOL Light