fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
AI summary
Graph theorem proof
A formal proof of a fundamental result in graph theory using the Coq proof assistant
- stars
- 174
- forks
- 22
- watching
- 14
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Graph formalizer
Formalized graph theory results for research and verification
Graph algorithm formalization
Formalization of Tarjan and Kosaraju's strongly connected component algorithm in Coq for finite graphs.
Theorem repository
Repository tracking famous theorems proved using proof assistants.
Math library
A collection of mathematical theorems and tools within the Coq proof assistant
Geometry library
A formalization of geometry using the Coq proof assistant.
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Polyhedron library
Formalizes convex polyhedra in Coq using optimization and theorem-proving techniques.
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Formalism library
A comprehensive Coq library providing formal definitions and proofs of rewriting theory, lambda-calculus, and termination.
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Tree theorem proof
Provides a constructive account of Wim Veldman's proof of a variant of Kruskal's tree theorem for rose trees in Coq.
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions fourcolor.
