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://blog.goedel-prover.com/
Goedel-Prover-V2
Goedel-Prover-V2: The Strongest Open-Source Theorem Prover to Date
proverv2
https://rocq-prover.org/install
Install the Rocq Prover
Quick setup instructions to install Rocq on your system.
installrocqprover
https://www.novanet.xyz/
NovaNet | Collaborative ZKP Prover Network for zkML & Verifiable Compute
NovaNet is a collaborative prover network that distributes zero knowledge proof generation across specialized nodes. Starting with zkML for private AI...
collaborativezkpprovernetworkverifiable
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://www.coindesk.com/press-release/2024/10/18/zerobase-raises-5m-to-build-privacy-preserving-prover-network
ZEROBASE Raises $5M to Build Privacy-Preserving Prover Network
ZEROBASE, the real-time ZK prover network rolled out by Salus, raised $5M to create a privacy-preserving compute network tailored for ZK use cases and backed...
5mbuildprivacypreservingprover
https://zulip.com/case-studies/lean/
Case study: Lean theorem prover community | Zulip
Zulip enables collaboration at scale: “We could never do what we’re doing on Slack or Discord.”
lean theorem provercase studycommunityzulip
https://starkware.co/blog/s-two-prover/
Introducing S-two: The fastest prover for real-world ZK applications | StarkWare
May 27, 2025 - Introducing S-two: The fastest prover for real-world ZK applications S-two prover. Fastest for client-side proving on everyday devices.
real worldintroducingtwofastestprover
https://boundless.network/
Boundless — The prover network built for production
99.99% uptime, high-performance compute, and below-market cost. Boundless handles the infrastructure so proving never slows you down.
built forboundlessprovernetworkproduction
https://docs.certora.com/en/latest/
Certora Prover Documentation — Certora Prover Documentation 0.0 documentation
certoraproverdocumentation
https://www.leanprover.cn/
Lean 中文文档 - Lean Prover 中文文档
leanprover
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
https://tamarin-prover.com/
Tamarin prover: Home
tamarinprover