First Steps
A Tour of Rocq
Rocq Platform Docs
About
Programming
Equations Plugin
Structures
Hierarchy Builder Plugin
Metaprogramming
Ltac2
Features of Rocq
Tutorials
- Searching for Definitions and Lemma interactive version and source code
- Basic Library Files and Module Management interactive version and source code
Help Improve Our Documentation
All Rocq docs are open source. See something that's wrong or unclear? Submit a pull request.
On This Page