PrototypeCommune
rocq-prover/equations
A function definition package for Rocq
- Propriétaire
- rocq-prover (organisation)
- Étoiles
- Étoiles : 238
- Forks
- Forks : 58
- Langage
- Rocq Prover
- Licence
- LGPL-2.1
- Création
- 2009
- Sujets
- coqprogramming-languagedependent-typesrocq
- Rang
- Prototype (100 à 249 ★) 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/platformÉtoiles : 251ShellAlpha
- rocq-prover/opamÉtoiles : 174OCamlPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- DeepSpec/InteractionTreesÉtoiles : 261Rocq ProverAlpha
- rocq-community/fourcolorÉtoiles : 252Rocq ProverAlpha
- math-comp/analysisÉtoiles : 246Rocq ProverPrototype
- GeoCoq/GeoCoqÉtoiles : 210Rocq ProverPrototype
- plclub/sf-in-leanÉtoiles : 199Rocq ProverPrototype
- mit-plv/koikaÉtoiles : 191Rocq ProverPrototype