Formal Verification Courses
Simons Institute via YouTube Integrating Formal Verification in Cryptographic Standards and Implementations
TheIACR via YouTube Mechanising Gödel-Löb Provability Logic in HOL Light
Hausdorff Center for Mathematics via YouTube Algebraic Theorems in PVS
Hausdorff Center for Mathematics via YouTube Formalization of Nominal Equations Reasoning in PVS
Hausdorff Center for Mathematics via YouTube From 100 to 1000+ Theorems - Advancements in Mathematical Proof Verification
Hausdorff Center for Mathematics via YouTube Automated Alignments in Mathematics
Hausdorff Center for Mathematics via YouTube Experiences from Exporting Proof Assistant Libraries
Hausdorff Center for Mathematics via YouTube Isabelle as System Platform for the Archive of Formal Proofs
Hausdorff Center for Mathematics via YouTube Big Math Libraries in Interactive Theorem Provers
Hausdorff Center for Mathematics via YouTube