https://mastodon.acm.org/@RocqProver
The Rocq Prover (@RocqProver@mastodon.acm.org) - Mastodon
2 Posts, 1 Following, 162 Followers · Interactive Theorem Prover and Dependently-Typed Programming Language.
rocq provermastodonacm
https://rocq-prover.zulipchat.com/
Public view of The Rocq Prover | Zulip team chat
Browse the publicly accessible channels in The Rocq Prover without logging in.
public viewof therocq proverzulipteam
https://rocq-prover.org/doc/V9.2.0/refman/index.html
Introduction and Contents — The Rocq Prover 9.2 documentation
rocq proverintroductioncontentsdocumentation
https://rocq-prover.org/releases
Rocq Prover and Rocq Platform releases
The history of Rocq Prover and Rocq Platform releases with a summary and a complete changelog, as well as the manual at that time.
rocq proverplatformreleases
https://rocq-prover.org/install
Install the Rocq Prover
Quick setup instructions to install Rocq on your system.
installrocqprover
https://rocq-prover.org/academic-users
Academic Users of the Rocq Prover
The Rocq Prover is taught all around the world and used every day by programming language researchers and proof engineers. Learn more about the strong academic...
academic usersof therocqprover