Tag: Coq

A Machine-Checked Proof of the Odd Order Theorem

Désolé, cet article est seulement disponible en Anglais Américain.