Four Color Theoremcoq-community/fourcolor
A formal proof of the Four Color Theorem in Coq, including supporting theories for real numbers, plane topology, and combinatorial hypermaps.
24124Rocq Prover
2 months agoThere are currently 9 open-source projects built with MathComp, with a combined total of 939 GitHub stars. The most common language among these projects is Rocq Prover.
Showing 9 open-source projects
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
