GitHub repository: Jun2M/Main-theorem-of-polytopes
Primary language: Lean
Description: Proving the main theorem of polytopes using Lean 4