Login / Signup
Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3, 2) Using the Coq Proof Assistant.
Nicolas Magaud
Published in:
ITP (2022)
Keyphrases
</>
theorem prover
viewpoint