jacksondc/hartshorne-isabelle

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

geometry

Isabelle work on geometry course