GitHub repository: uw-math-ai/lean-polyhedral-geometry
Primary language: Lean
Description: Formalizing the basic definitions and results of polyhedral geometry in Lean 4.