A library of mechanised undecidability proofs in the Coq proof assistant.
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
47,133 repositories indexed
1–2 of 2 · Most stars
A library of mechanised undecidability proofs in the Coq proof assistant.
The formal proof of the Odd Order Theorem