Contact DMCA Privacy

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 provermastodonacmorg
https://deploy.rocq-prover.org/
deploy-rocq-prover_org
rocq proverdeployorg
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 viewrocq proverteam chatzulip