Memoir of my Graduation Project The repository contains the LaTeX source code of the memoir of my graduation project: "Formalization of Desargues’s Theorem in Lean".