PrototypeCommon
math-comp/analysis
Mathematical Components compliant Analysis Library
- Owner
- math-comp (organization)
- Stars
- Stars: 246
- Forks
- Forks: 76
- Language
- Rocq Prover
- License
- None
- Created
- 2017
- Topics
- rocqanalysiscoqmathcompssreflect
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by math-comp
All 4 repos by math-comp- math-comp/math-compStars: 706Rocq ProverBeta
- math-comp/mcbStars: 154TeXPrototype
- math-comp/hierarchy-builderStars: 104Rocq ProverPrototype
Nearby in Rocq Prover
All Rocq Prover repos- QuickChick/QuickChickStars: 296Rocq ProverAlpha
- DeepSpec/InteractionTreesStars: 261Rocq ProverAlpha
- rocq-community/fourcolorStars: 252Rocq ProverAlpha
- rocq-prover/equationsStars: 238Rocq ProverPrototype
- GeoCoq/GeoCoqStars: 210Rocq ProverPrototype
- plclub/sf-in-leanStars: 198Rocq ProverPrototype