Real Analysis
3 projects
Showing 3 of 3 projects
AnalysisRocq Prover
A formal real analysis library for the Coq/Rocq proof assistant, built on the Mathematical Components library.
#coq#topology#mathcomp
Stars245
Forks70
Last commit1 day ago
CoRNRocq Prover
A Coq library for constructive real analysis and algebra, including a model of real numbers and exact real computation.
#coq#coq-platform#coq-ci
Stars115
Forks45
Last commit13 days ago
Coqtail MathRocq Prover
A Coq library of formally verified mathematical theorems and tools covering arithmetic, real analysis, and complex analysis.
#mathematics#complex-analysis#coq
Stars16
Forks0
Last commit3 months ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.