/odd-order

The formal proof of the Odd Order Theorem

Primary LanguageCoq

Issues