AlphaUncommon
rocq-prover/vsrocq
Visual Studio Code extension for Rocq
- Owner
- rocq-prover (organization)
- Stars
- Stars: 464
- Forks
- Forks: 116
- Language
- Rocq Prover
- License
- MIT
- Created
- 2019
- Topics
- coqvscodevscode-extensioneditorvscodiumrocqrocq-prover
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by rocq-prover
All 5 repos by rocq-prover- rocq-prover/rocqStars: 5,655OCamlStable
- rocq-prover/platformStars: 251ShellAlpha
- rocq-prover/equationsStars: 238Rocq ProverPrototype
- rocq-prover/opamStars: 174OCamlPrototype
Nearby in Rocq Prover
All Rocq Prover repos- uwplse/verdiStars: 627Rocq ProverAlpha
- MetaRocq/metarocqStars: 568Rocq ProverAlpha
- PrincetonUniversity/VSTStars: 516Rocq ProverAlpha
- jasmin-lang/jasminStars: 389Rocq ProverAlpha
- ccz181078/Coq-BB5Stars: 377Rocq ProverAlpha
- mit-plv/bedrock2Stars: 340Rocq ProverAlpha