GitHub - oneofvalts/desargues: Lean formalization of Desargues's Theorem

Formalization of the book Modern Projective Geometry by Claude-Alain Faure and Alfred Frölicher.

Name		Name	Last commit message	Last commit date
Latest commit History 78 Commits
.gitignore		.gitignore
Basic.lean		Basic.lean
LICENSE		LICENSE
Morphism.lean		Morphism.lean
PV.lean		PV.lean
README.md		README.md
Structure.lean		Structure.lean
central-projection.png		central-projection.png
lakefile.toml		lakefile.toml

Provide feedback