Massive Proofs for the Masses

Massive Proofs for the Masses

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.