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.
the rocq provermastodonacmorg