Robuta

https://mastodon.acm.org/@RocqProver

The Rocq Prover (@RocqProver@mastodon.acm.org) - Mastodon

2 Posts, 1 Following, 134 Followers · Interactive Theorem Prover and Dependently-Typed Programming Language.

rocq prover mastodon acm org

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2025.21

Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation

concentration inequalities rocq infrastructure automation

https://deploy.rocq-prover.org/

deploy-rocq-prover_org

rocq prover deploy org

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 view rocq prover team chat zulip