Explore a thought-provoking 21-minute conference talk by Byron Cook, presented at ACM SIGPLAN's O'HearnFest, delving into the concept of "Massive proofs for the masses." Gain insights into cutting-edge developments in formal verification and proof systems, and discover how these advancements are making complex mathematical proofs more accessible to a wider audience.
Overview
Syllabus
[O'HearnFest] Massive proofs for the masses
Taught by
ACM SIGPLAN
Related Courses
-
Isabelle as System Platform for the Archive of Formal Proofs
-
Is Peter Correct or Incorrect? - O'HearnFest Lecture
-
Autoformalisation - Bridging the Gap Between Informal and Formal Proofs
-
Peter, the May and the Must, and Lacework
-
Bi-abductive Adversarial Program Synthesis
-
Symbolic Execution with Separating Decision Diagrams
