GitHub topics: feit-thompson-theorem
math-comp/odd-order
The formal proof of the Odd Order Theorem
Language: Rocq Prover - Size: 1.74 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 34 - Forks: 16
Related Keywords
The formal proof of the Odd Order Theorem
Language: Rocq Prover - Size: 1.74 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 34 - Forks: 16