This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
The Rocq Prover
@RocqProver@mastodon.acm.org
Joined: 01/08/2025
About The Rocq Prover
Interactive Theorem Prover and Dependently-Typed Programming Language.
Lists
RocqProver has no public lists
Timeline
RocqProver has no activity yet