PrototypeCommon
rocq-prover/opam
Archive for all Rocq and Coq-related opam packages organized in various repositories
- Owner
- rocq-prover (organization)
- Stars
- Stars: 174
- Forks
- Forks: 195
- Language
- OCaml
- License
- LGPL-2.1
- Created
- 2015
- Topics
- coqopam-repositoryopamrocq-prover
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by rocq-prover
All 5 repos by rocq-prover- rocq-prover/rocqStars: 5,655OCamlStable
- rocq-prover/vsrocqStars: 464Rocq ProverAlpha
- rocq-prover/platformStars: 251ShellAlpha
- rocq-prover/equationsStars: 238Rocq ProverPrototype
Nearby in OCaml
All OCaml repos- darioteixeira/pgocamlStars: 178OCamlPrototype
- libguestfs/superminStars: 177OCamlPrototype
- eWert-Online/OSnapStars: 177OCamlPrototype
- xclerc/ocamljavaStars: 171OCamlPrototype
- kuis-isle3sw/IoPLMaterialsStars: 171OCamlPrototype
- robur-coop/albatrossStars: 171OCamlPrototype