Formalizing Some “Small” Finite Models of Projective Geometry in Coq (Q6108812)
From MaRDI portal
scientific article; zbMATH DE number 7704983
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing Some “Small” Finite Models of Projective Geometry in Coq |
scientific article; zbMATH DE number 7704983 |
Statements
Formalizing Some “Small” Finite Models of Projective Geometry in Coq (English)
0 references
30 June 2023
0 references
Coq
0 references
proof automation
0 references
combinatorial explosion
0 references
finite inductive types
0 references
projective geometry
0 references
finite geometry
0 references
Desargues' property
0 references
