AlphaUncommon
rocq-prover/platform
Multi platform setup for Rocq, Rocq libraries and tools
- Owner
- rocq-prover (organization)
- Stars
- Stars: 251
- Forks
- Forks: 56
- Language
- Shell
- License
- CC0-1.0
- Created
- 2019
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by rocq-prover
All 5 repos by rocq-prover- rocq-prover/rocqStars: 5,654OCamlStable
- rocq-prover/vsrocqStars: 464Rocq ProverAlpha
- rocq-prover/equationsStars: 238Rocq ProverPrototype
- rocq-prover/opamStars: 174OCamlPrototype
Nearby in Shell
All Shell repos- elastic/start-localStars: 251ShellAlpha
- thehimel/cursor-rules-and-promptsStars: 251ShellAlpha
- zhangyanxs/repo2skillStars: 251ShellAlpha
- JeffreyWay/Vagrant-SetupStars: 251ShellAlpha
- jpalardy/warpStars: 251ShellAlpha
- heroku/heroku-buildpack-aptStars: 251ShellAlpha