GitHub repos by rocq-community
9 public repos by rocq-community in the catalog, most starred first.
- rocq-community/rocq-tricksStars: 556CoqAlpha
- rocq-community/awesome-coqStars: 397Alpha
- rocq-community/fourcolorStars: 252Rocq ProverAlpha
- rocq-community/rocq-lspStars: 212OCamlPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
- rocq-community/coq-artStars: 131CoqPrototype
- rocq-community/cornStars: 117Rocq ProverPrototype
- rocq-community/coq-dpdgraphStars: 103OCamlPrototype