Pinned Loading

1. Latin-Hypercube-project-with-Lean-4 Latin-Hypercube-project-with-Lean-4 Public

   Trying to define and prove some basic theorems using Lean 4

   Lean 1

2. Main-theorem-of-polytopes Main-theorem-of-polytopes Public

   Proving the main theorem of polytopes using Lean 4

   Lean 3 1