Mathcomp
3 projects
Showing 3 of 3 projects
Mathematical Components wikiRocq Prover
An extensive and coherent library of formalized mathematical theories built on the Coq/Rocq proof assistant with SSReflect.
#rocq-library#mathematics#coq
Stars684
Forks131
Last commit2 days ago
AnalysisRocq Prover
A formal real analysis library for the Coq/Rocq proof assistant, built on the Mathematical Components library.
#coq#topology#mathcomp
Stars244
Forks68
Last commit3 days ago
Four Color TheoremRocq Prover
A formal proof of the Four Color Theorem in Coq, including supporting theories for real numbers, plane topology, and combinatorial hypermaps.
#mathematics#coq#coq-ci
Stars240
Forks24
Last commit1 month 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.