Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3,2) using the Coq Proof Assistant
Origine : Fichiers éditeurs autorisés sur une archive ouverte