GitHub - Jun2M/Latin-Hypercube-project-with-Lean-4: Trying to define and prove some basic theorems using Lean 4

Jun2M / Latin-Hypercube-project-with-Lean-4 Public

Trying to define and prove some basic theorems using Lean 4

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
OldCodes		OldCodes
.gitignore		.gitignore
7ReStructure.lean		7ReStructure.lean
hypercubes.pdf		hypercubes.pdf
hypercubes.pdf:Zone.Identifier		hypercubes.pdf:Zone.Identifier
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain