Massive Proofs for the Masses

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

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.

Syllabus

[O'HearnFest] Massive proofs for the masses

Taught by

ACM SIGPLAN

Related Courses

Human Computer Interaction
Independent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera