Isabelle work on geometry course
homerw / hartshorne-isabelle Goto Github PK
View Code? Open in Web Editor NEWThis project forked from spike7638/hartshorne-isabelle
Isabelle version of everything in Hartshorne's Foundations of Projective Geometry book.