GitHub - Jun2M/Main-theorem-of-polytopes: Proving the main theorem of polytopes using Lean 4

Jun2M / Main-theorem-of-polytopes Public

Proving the main theorem of polytopes using Lean 4

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
src		src
.gitignore		.gitignore
978-3-540-30717-4.pdf		978-3-540-30717-4.pdf
MT5862-toJun.pdf		MT5862-toJun.pdf
Main.lean		Main.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lakefile.olean		lakefile.olean
lean-toolchain		lean-toolchain