Coq Courses
ACM SIGPLAN via YouTube The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography
ACM SIGPLAN via YouTube Verifying a Concurrent File System with Sequential Reasoning
ACM SIGPLAN via YouTube Coq: The World's Best Macro Assembler? - 10-Year Most Influential Paper Talk
ACM SIGPLAN via YouTube MetaCoq Tutorial - Meta-programming and Proving with MetaCoq
ACM SIGPLAN via YouTube Osiris: An Iris-Based Program Logic for OCaml
ACM SIGPLAN via YouTube Etna: An Evaluation Platform for Property-Based Testing - Experience Report
ACM SIGPLAN via YouTube Dependent Session Protocols in Separation Logic from First Principles - Functional Pearl
ACM SIGPLAN via YouTube A Type-Theoretic Account of Quantum Computation
ACM SIGPLAN via YouTube An Intrinsically-typed Probabilistic Programming Language in Coq - Extended Abstract
ACM SIGPLAN via YouTube