Search Rocq packages
Standard Library
Learn
Platform
Packages
Community
Consortium
News
Get Started
Search Rocq packages
Learn
Platform
Packages
Community
Consortium
News
Standard Library
Get started
Back
Academic Institutions Teach the Rocq Prover!
Academic Entries
To list an academic institution, check out the
Contributing Guide
on GitHub.
Search institutions
Resource Type
Lecture Notes
Exercises
Video Recordings
Select a Continent
North America
Europe
Asia
Shanghai Jiao Tong University
Functional Programming in Coq
Lecture Notes
Exercises
Video Recordings
...
2
3
4
