Coq Courses
Strange Loop Conference via YouTube Beweisbar sichere Software
media.ccc.de via YouTube RustBelt: A Quick Dive Into the Abyss - Formalizing Rust's Safety Story
Rust via YouTube Building Measure Theory Using Hierarchy Builder
Hausdorff Center for Mathematics via YouTube Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015
GOTO Conferences via YouTube From 100 to 1000+ Theorems - Advancements in Mathematical Proof Verification
Hausdorff Center for Mathematics via YouTube Translating HOL-Light Proofs to Coq
Hausdorff Center for Mathematics via YouTube Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
ACM SIGPLAN via YouTube Verified Extraction from Coq to OCaml
ACM SIGPLAN via YouTube Hashing Modulo Context-Sensitive Alpha-Equivalence - PLDI 2024
ACM SIGPLAN via YouTube