Formal Verification Courses
Hausdorff Center for Mathematics via YouTube Lean-HoG: Incorporating a Database of Graphs into a Proof Assistant
Hausdorff Center for Mathematics via YouTube The Proofgold Blockchain: Integrating Formal Proofs with Cryptocurrency
Hausdorff Center for Mathematics via YouTube Impromptu Chat About Hahn-Banach Theorem in Lean
Hausdorff Center for Mathematics via YouTube Provable Security - Eurocrypt 2024
TheIACR via YouTube Automating Reasoning in Cubical Type Theory
Hausdorff Center for Mathematics via YouTube Cueology of Proof
Hausdorff Center for Mathematics via YouTube Localized Attractor Computations for Infinite-State Games
Simons Institute via YouTube Multi-agent Games with Finite-horizon Goals
Simons Institute via YouTube Linear Temporal Logic - From Infinite to Finite Horizon
Simons Institute via YouTube