PrototypeCommune
rocq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- Propriétaire
- rocq-community (organisation)
- Étoiles
- Étoiles : 169
- Forks
- Forks : 42
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2011
- Sujets
- coq-librarytypeclassesmathematicscoqcoq-cicoq-platform
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de rocq-community
Les 9 dépôts de rocq-community- rocq-community/rocq-tricksÉtoiles : 556CoqAlpha
- rocq-community/awesome-coqÉtoiles : 397Alpha
- rocq-community/fourcolorÉtoiles : 252Rocq ProverAlpha
- rocq-community/rocq-lspÉtoiles : 212OCamlPrototype
- rocq-community/coq-ext-libÉtoiles : 135Rocq ProverPrototype
- rocq-community/coq-artÉtoiles : 131CoqPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- theorem-labs/oss-verify-proofsÉtoiles : 187Rocq ProverPrototype
- CertiRocq/certirocqÉtoiles : 183Rocq ProverPrototype
- mit-plv/kamiÉtoiles : 173Rocq ProverPrototype
- mit-plv/fiatÉtoiles : 157Rocq ProverPrototype
- uds-psl/coq-library-undecidabilityÉtoiles : 145Rocq ProverPrototype
- rocq-community/coq-ext-libÉtoiles : 135Rocq ProverPrototype