PrototypeCommon
rocq-prover/equations
A function definition package for Rocq
- Owner
- rocq-prover (organization)
- Stars
- Stars: 238
- Forks
- Forks: 58
- Language
- Rocq Prover
- License
- LGPL-2.1
- Created
- 2009
- Topics
- coqprogramming-languagedependent-typesrocq
- 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/opamStars: 174OCamlPrototype
Nearby in Rocq Prover
All Rocq Prover repos- DeepSpec/InteractionTreesStars: 261Rocq ProverAlpha
- rocq-community/fourcolorStars: 252Rocq ProverAlpha
- math-comp/analysisStars: 247Rocq ProverPrototype
- GeoCoq/GeoCoqStars: 210Rocq ProverPrototype
- plclub/sf-in-leanStars: 199Rocq ProverPrototype
- theorem-labs/oss-verify-proofsStars: 193Rocq ProverPrototype