Coq - Videos
Find videos related to your search query. Browse through our collection of videos matching "Coq". Search across titles, descriptions, tags, and channels to discover the content you're looking for.
Search Results for "Coq"
4 results found
9:16
[PLARCH23] Silver Oak: Hardware Software Co-Design and Co-Verification in Coq
ACM SIGPLAN
236 views
11:58
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq (CSF 2021)
Philipp Haselwarter
44 views
21:22
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq (ITP'21)
PS Lab Saarland University
85 views
20:40
Undecidability of Higher-Order Unification Formalised in Coq
ACM SIGPLAN
264 views