/hartshorne-isabelle

Isabelle version of everything in Hartshorne's Foundations of Projective Geometry book.

Primary LanguageIsabelle

No issues in this repository yet.