Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

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

Reviews

Start your review of Isabelle as System Platform for the Archive of Formal Proofs

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.