Formal Verification Courses
Hausdorff Center for Mathematics via YouTube Literate Programming in Lean
Hausdorff Center for Mathematics via YouTube Lean4Lean - Formalizing the Type Theory of Lean
Hausdorff Center for Mathematics via YouTube Lean4Less - A Term-Patching Framework for Eliminating Definitional Equalities in Lean
Hausdorff Center for Mathematics via YouTube GFLean - Autoformalisation for Lean via Grammatical Framework
Hausdorff Center for Mathematics via YouTube Anvil: Verifying Liveness of Cluster Management Controllers
USENIX via YouTube Using Dynamically Layered Definite Releases for Verifying the RefFS File System
USENIX via YouTube My Plan B: Exploring Alternative Strategies in Computer Science Research
Imperial College London via YouTube High-Assurance Go Cryptography
GoLab conference via YouTube Working with Mathlib - Lecture 1
Centre International de Rencontres Mathématiques via YouTube