Isabelle as System Platform for the Archive of Formal Proofs
Hausdorff Center for Mathematics via YouTube
Overview
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore Makarius Wenzel's conference talk on Isabelle's role as a system platform for the Archive of Formal Proofs (AFP). Delve into the intricacies of how Isabelle, a proof assistant, serves as a foundation for organizing and managing formal mathematical proofs in the AFP. Gain insights into the structure, functionality, and significance of this digital repository for verified mathematical knowledge. Learn about the challenges and solutions in maintaining a large-scale archive of formal proofs, and understand how Isabelle's capabilities are leveraged to ensure the integrity and accessibility of these proofs. Discover the impact of this system on the field of formal mathematics and its potential for advancing research and collaboration in the mathematical community.
Syllabus
Makarius Wenzel: Isabelle as System Platform for the Archive of Formal Proofs (AFP)
Taught by
Hausdorff Center for Mathematics