GitHub repository: spike7638/hartshorne-isabelle
Primary language: Isabelle
Description: Isabelle version of everything in Hartshorne's Foundations of Projective Geometry book.