# rocq-prover/platform

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

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

rocq-prover/platform has 251 stars on GitHub. Its RepoMasters card: Alpha tier. Multi platform setup for Rocq, Rocq libraries and tools Language: Shell.

| Field | Value |
| --- | --- |
| Owner | [rocq-prover](https://repo.masters-masters.com/en/owners/rocq-prover) |
| Stars | 251 |
| Forks | 56 |
| Language | [Shell](https://repo.masters-masters.com/en/languages/shell) |
| License | CC0-1.0 |
| Created | 2019 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [rocq-prover/platform](https://github.com/rocq-prover/platform) |

## Repository

Multi platform setup for Rocq, Rocq libraries and tools

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by rocq-prover

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

## Nearby in Shell

- [thehimel/cursor-rules-and-prompts · ★ 251 · Shell · Alpha](https://repo.masters-masters.com/en/repos/thehimel/cursor-rules-and-prompts)
- [zhangyanxs/repo2skill · ★ 251 · Shell · Alpha](https://repo.masters-masters.com/en/repos/zhangyanxs/repo2skill)
- [MysticGSI/mysticgsi · ★ 251 · Shell · Alpha](https://repo.masters-masters.com/en/repos/MysticGSI/mysticgsi)
- [JeffreyWay/Vagrant-Setup · ★ 251 · Shell · Alpha](https://repo.masters-masters.com/en/repos/JeffreyWay/Vagrant-Setup)
- [jpalardy/warp · ★ 251 · Shell · Alpha](https://repo.masters-masters.com/en/repos/jpalardy/warp)
- [breunigs/bravia-auth-and-remote · ★ 251 · Shell · Alpha](https://repo.masters-masters.com/en/repos/breunigs/bravia-auth-and-remote)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.