# GitHub repos by rocq-prover

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

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

All 5 public GitHub repos by rocq-prover in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by rocq-prover

5 public repos by rocq-prover in the catalog, most starred first.

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

## See rocq-prover on GitHub

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

---
Data: GitHub