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