Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3,2) using the Coq Proof Assistant - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3,2) using the Coq Proof Assistant

Fichier principal
Vignette du fichier
islandora_148753.pdf (545.92 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03633318 , version 1 (06-04-2022)

Identifiants

Citer

Nicolas Magaud. Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3,2) using the Coq Proof Assistant. The International conference Interactive Theorem Proving (ITP) 2022, Jul 2022, Haïfa, Israel. ⟨10.4230/LIPIcs.ITP.2022.25⟩. ⟨hal-03633318⟩
93 Consultations
117 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More