Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
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
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Solving the mini Rubik (2x2) in Coq
- theorem-proving
- formalization
- rubik-cube
- 2x2x2
Formal proof in Coq of Puiseux's Theorem.