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
{username} has no activity yet
@RocqProver@mastodon.acm.org
Joined: 01/08/2025
Interactive Theorem Prover and Dependently-Typed Programming Language.
RocqProver has no public lists
{username} has no activity yet