Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Repository Index
87,075 visible repositories in the index
1–5 of 5 · Most stars
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm