Rocq Prover

https://rocq-prover.org/doc/V9.1.0/refman/

Rocq Prover is an interactive theorem prover and proof assistant based on the Calculus of Inductive...

Tokens:777,016
Snippets:9,138
Trust Score:9.1
Update:6 months ago
Tokens:
Raw