Formal Verification Courses
Hausdorff Center for Mathematics via YouTube Polynomial Functors Formalization Report
Hausdorff Center for Mathematics via YouTube System Introductions I - HOL - Lecture 1
Hausdorff Center for Mathematics via YouTube Even More on HOL Light - Lecture 3
Hausdorff Center for Mathematics via YouTube More on HOL Light - Lecture 2
Hausdorff Center for Mathematics via YouTube Teaching Mathematics to Computers - Modern Approaches and Challenges
Hausdorff Center for Mathematics via YouTube Formalising Advanced Mathematics in Isabelle/HOL
Hausdorff Center for Mathematics via YouTube ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation - 2024
IEEE via YouTube HOL with Dependent Types and Subtyping
Hausdorff Center for Mathematics via YouTube Verifying Elliptic Curve Computations on Blockchain
Hausdorff Center for Mathematics via YouTube