PrototypeCommune
math-comp/analysis
Mathematical Components compliant Analysis Library
- Propriétaire
- math-comp (organisation)
- Étoiles
- Étoiles : 246
- Forks
- Forks : 76
- Langage
- Rocq Prover
- Licence
- Aucune
- Création
- 2017
- Sujets
- rocqanalysiscoqmathcompssreflect
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de math-comp
Les 4 dépôts de math-comp- math-comp/math-compÉtoiles : 706Rocq ProverBêta
- math-comp/mcbÉtoiles : 154TeXPrototype
- math-comp/hierarchy-builderÉtoiles : 104Rocq ProverPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- QuickChick/QuickChickÉtoiles : 296Rocq ProverAlpha
- DeepSpec/InteractionTreesÉtoiles : 261Rocq ProverAlpha
- rocq-community/fourcolorÉtoiles : 252Rocq ProverAlpha
- rocq-prover/equationsÉtoiles : 238Rocq ProverPrototype
- GeoCoq/GeoCoqÉtoiles : 210Rocq ProverPrototype
- plclub/sf-in-leanÉtoiles : 198Rocq ProverPrototype