# GitHub repos by math-comp

<https://repo.masters-masters.com/en/owners/math-comp>

[Home](https://repo.masters-masters.com/en) › [math-comp](https://repo.masters-masters.com/en/owners/math-comp)

All 4 public GitHub repos by math-comp in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by math-comp

4 public repos by math-comp in the catalog, most starred first.

- [math-comp/math-comp · ★ 707 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/math-comp/math-comp)
- [math-comp/analysis · ★ 246 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/math-comp/analysis)
- [math-comp/mcb · ★ 154 · TeX · Prototype](https://repo.masters-masters.com/en/repos/math-comp/mcb)
- [math-comp/hierarchy-builder · ★ 104 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/math-comp/hierarchy-builder)

## See math-comp on GitHub

- [https://github.com/math-comp](https://github.com/math-comp)

---
Data: GitHub