# Dépôts de math-comp

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

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

Les 4 dépôts GitHub publics de math-comp, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de math-comp

4 dépôts publics de math-comp au catalogue, du plus étoilé au moins étoilé.

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

## Voir math-comp sur GitHub

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

---
Données : GitHub