GitHub repos by math-comp
4 public repos by math-comp in the catalog, most starred first.
- math-comp/math-compStars: 706Rocq ProverBeta
- math-comp/analysisStars: 246Rocq ProverPrototype
- math-comp/mcbStars: 154TeXPrototype
- math-comp/hierarchy-builderStars: 104Rocq ProverPrototype