nixpkgs / coqPackages.odd-order - Formal proof of the Odd Order Theorem

Homepage - https://github.com/math-comp/odd-order

License - CECILL-B

Maintainers - Siraphob Phipathananunth

Releases

1.12.0 (expand/collapse)

From commit 063074d8 to 00460bd6