The Rocq Prover
@RocqProver@mastodon.acm.org
Joined: 08/01/2025
About The Rocq Prover
Interactive Theorem Prover and Dependently-Typed Programming Language.
Lists
{username} has no public lists
Timeline
{username} has no activity yet
@RocqProver@mastodon.acm.org
Joined: 08/01/2025
Interactive Theorem Prover and Dependently-Typed Programming Language.
{username} has no public lists
{username} has no activity yet