Home / Coq / Type Theory and Mathematics > Odd Order Theorem Type Theory and Mathematics > Odd Order Theorem Formal proof of the Odd Order Theorem, a landmark result of finite group theory. Package 37 stars GitHub Back to Coq
