https://rocq-prover.org/
Welcome to a World of Rocq
Rocq is a general-purpose, industrial-strength interactive theorem prover.
welcome toworld ofrocq
https://blog.mathieuacher.com/FromScratchChessEnginesPolyglot/
Coding Agents Build Chess Engines From Scratch in Rust, C++, COBOL, Rocq, LaTeX, Brainfuck, and...
What happens when you ask coding agents to write a chess engine from scratch, with minimal guidance and you replicate the experiment across 12 programming...
coding agentsfrom scratchbuildchessengines
https://rocq-prover.org/papers
Rocq Papers
A selection of papers grouped by popular categories.
rocqpapers
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.
developer forumrocqproveruser
https://rocq-prover.org/install
Install the Rocq Prover
Quick setup instructions to install Rocq on your system.
installrocqprover
https://mastodon.acm.org/@RocqProver
The Rocq Prover (@RocqProver@mastodon.acm.org) - Mastodon
2 Posts, 1 Following, 153 Followers · Interactive Theorem Prover and Dependently-Typed Programming Language.
rocqprovermastodonacm
https://proofs.swiss/rocq-n-share/2026/
Rocq'n'Share 2026 | proofs.swiss
rocqshareproofsswiss
https://www.rocqmacarons.com/
Rocq Desserts: French Macarons & Gourmet Cakes Delivered, Nationwide! – Rocq Macarons
french macaronsrocqdessertsgourmetcakes
https://rocq-prover.org/community
The Rocq Community
Looking to interact with people who are also interested in Rocq? Find out about upcoming events, sign up for Rocq's Zulip and discover even more places to...
rocqcommunity
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.
team chatpublicviewrocqprover
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.
2 0release notesrocqprover