Sponsor of the Day:
Jerkmate
https://rocq-prover.org/releases/9.2.0
Rocq Prover 9.2.0 Release Notes
Rocq Prover 9.2.0 was released on 2026-03-27. Learn more about this in the release notes.
9 2 0rocq proverrelease notes
https://discourse.rocq-prover.org/c/miscellaneous/10
Miscellaneous - Rocq Prover
Topics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Rocq community…
rocq provermiscellaneous
https://rocq-prover.org/install
Install the Rocq Prover
Quick setup instructions to install Rocq on your system.
rocq proverinstall
https://discourse.rocq-prover.org/
Rocq Prover - The Rocq Prover user and developer forum.
The Rocq Discourse is meant to be a standard place to discuss questions about the Rocq Prover and related topics.
rocq proverdeveloper forumuser