Academic Institutions Teach the Rocq Prover!
Academic Entries
To list an academic institution, check out the Contributing Guide on GitHub.
Radboud University
-
Type Theory and Rocq
Lecture Notes Exercises
-
Program Verification with Types and Logic
Lecture Notes Exercises
Université Paris Cité
-
Proof assistants
Lecture Notes Exercises
-
Functional programming and formal proofs in Coq
-
Preuves assistées par ordinateur
Exercises
UPenn
-
Software Foundations
Lecture Notes Exercises
University of Chicago
-
Programming Proofs
Lecture Notes Exercises
