AlphaPeu commune
rocq-prover/platform
Multi platform setup for Rocq, Rocq libraries and tools
- Propriétaire
- rocq-prover (organisation)
- Étoiles
- Étoiles : 251
- Forks
- Forks : 56
- Langage
- Shell
- Licence
- CC0-1.0
- Création
- 2019
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de rocq-prover
Les 5 dépôts de rocq-prover- rocq-prover/rocqÉtoiles : 5 654OCamlStable
- rocq-prover/vsrocqÉtoiles : 464Rocq ProverAlpha
- rocq-prover/equationsÉtoiles : 238Rocq ProverPrototype
- rocq-prover/opamÉtoiles : 174OCamlPrototype
D’autres dépôts Shell
Tous les dépôts Shell- elastic/start-localÉtoiles : 251ShellAlpha
- thehimel/cursor-rules-and-promptsÉtoiles : 251ShellAlpha
- zhangyanxs/repo2skillÉtoiles : 251ShellAlpha
- JeffreyWay/Vagrant-SetupÉtoiles : 251ShellAlpha
- jpalardy/warpÉtoiles : 251ShellAlpha
- heroku/heroku-buildpack-aptÉtoiles : 251ShellAlpha