Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Repository Index
89,073 visible repositories in the index
1–6 of 6 · Most stars
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Coq library on rewriting theory and termination
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Reimplementation of Natural Number Game in Coq
Solving the mini Rubik (2x2) in Coq
- theorem-proving
- formalization
- rubik-cube
- 2x2x2