The Stacks Project, Formalized in Lean

Classification of Finite Simple Groups Formalized in Lean

Lattice Triangles Are Rare