Academic Institutions Teach the Rocq Prover!
Academic Entries
To list an academic institution, check out the Contributing Guide on GitHub.
Eindhoven University of Technology
-
Proving with Computer Assistance
Lecture Notes Exercises
Universidade de Lisboa
-
Programming Languages
Lecture Notes
Cornell University
-
Formal Verification
Lecture Notes
Aarhus University
-
Formal Software Verification
Lecture Notes Exercises
ENS Paris-Saclay
-
Projet Logique
Exercises
