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