# rocq-prover/rocq

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

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

rocq-prover/rocq, dépôt open source à 5 657 étoiles sur GitHub. Carte Stable de RepoMasters. The Rocq Prover is an interactive theorem prover, or proof…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [rocq-prover](https://repo.masters-masters.com/owners/rocq-prover) |
| Étoiles | 5 657 |
| Forks | 771 |
| Langage | [OCaml](https://repo.masters-masters.com/languages/ocaml) |
| Licence | LGPL-2.1 |
| Création | 2011 |
| Sujets | proof-assistant, coq, theorem-proving, dependent-types |
| Rang | [Stable (5 000 à 19 999 ★)](https://repo.masters-masters.com/ranks/cult) |
| Voir sur GitHub | [rocq-prover/rocq](https://github.com/rocq-prover/rocq) |

## Fiche du dépôt

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Rang des dépôts qui ont 5 000 à 19 999 ★ sur GitHub. Probabilité publiée par carte tirée : 0,9 %. Rareté : Très rare.

## Autres dépôts de rocq-prover

- [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)

## D’autres dépôts OCaml

- [ocaml/ocaml · ★ 6 614 · OCaml · Stable](https://repo.masters-masters.com/repos/ocaml/ocaml)
- [janestreet/magic-trace · ★ 6 345 · OCaml · Stable](https://repo.masters-masters.com/repos/janestreet/magic-trace)
- [astrada/google-drive-ocamlfuse · ★ 5 984 · OCaml · Stable](https://repo.masters-masters.com/repos/astrada/google-drive-ocamlfuse)
- [bcpierce00/unison · ★ 5 565 · OCaml · Stable](https://repo.masters-masters.com/repos/bcpierce00/unison)
- [batsh-dev-team/Batsh · ★ 4 349 · OCaml · RC](https://repo.masters-masters.com/repos/batsh-dev-team/Batsh)
- [opengrep/opengrep · ★ 3 281 · OCaml · RC](https://repo.masters-masters.com/repos/opengrep/opengrep)

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.