Rocq Prover

https://github.com/rocq-prover/rocq

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language...

Tokens:624,905
Snippets:3,162
Trust Score:8.5
License:LGPL-2.1
Update:11 months ago
Tokens:
Raw