rocq-prover/rocq
OCaml
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal…
Stars
5,528
24h
0
0.0%
7d
+9
+0.2%
Checked 1h ago
Pushed 2d ago