# Dépôts de rocq-prover

<https://repo.masters-masters.com/owners/rocq-prover>

[Accueil](https://repo.masters-masters.com/) › [rocq-prover](https://repo.masters-masters.com/owners/rocq-prover)

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

## Dépôts de rocq-prover

5 dépôts publics de rocq-prover au catalogue, du plus étoilé au moins étoilé.

- [rocq-prover/rocq · ★ 5 657 · OCaml · Stable](https://repo.masters-masters.com/repos/rocq-prover/rocq)
- [rocq-prover/vsrocq · ★ 464 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/rocq-prover/vsrocq)
- [rocq-prover/platform · ★ 251 · Shell · Alpha](https://repo.masters-masters.com/repos/rocq-prover/platform)
- [rocq-prover/equations · ★ 239 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/rocq-prover/equations)
- [rocq-prover/opam · ★ 174 · OCaml · Prototype](https://repo.masters-masters.com/repos/rocq-prover/opam)

## Voir rocq-prover sur GitHub

- [https://github.com/rocq-prover](https://github.com/rocq-prover)

---
Données : GitHub