AlphaPeu commune
rocq-prover/vsrocq
Visual Studio Code extension for Rocq
- Propriétaire
- rocq-prover (organisation)
- Étoiles
- Étoiles : 464
- Forks
- Forks : 116
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2019
- Sujets
- coqvscodevscode-extensioneditorvscodiumrocqrocq-prover
- 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/platformÉtoiles : 251ShellAlpha
- rocq-prover/equationsÉtoiles : 238Rocq ProverPrototype
- rocq-prover/opamÉtoiles : 174OCamlPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- uwplse/verdiÉtoiles : 627Rocq ProverAlpha
- MetaRocq/metarocqÉtoiles : 567Rocq ProverAlpha
- PrincetonUniversity/VSTÉtoiles : 515Rocq ProverAlpha
- jasmin-lang/jasminÉtoiles : 389Rocq ProverAlpha
- ccz181078/Coq-BB5Étoiles : 377Rocq ProverAlpha
- mit-plv/bedrock2Étoiles : 340Rocq ProverAlpha