GitHub repos by rocq-prover
5 public repos by rocq-prover in the catalog, most starred first.
- rocq-prover/rocqStars: 5,655OCamlStable
- rocq-prover/vsrocqStars: 464Rocq ProverAlpha
- rocq-prover/platformStars: 251ShellAlpha
- rocq-prover/equationsStars: 238Rocq ProverPrototype
- rocq-prover/opamStars: 174OCamlPrototype