GitHub repository: math-comp/odd-order
Primary language: Rocq Prover
Created: 2018-04-17T14:30:11Z
Description: The formal proof of the Odd Order Theorem