miniF2F-lean4

cd miniF2F-lean4
lake exe cache get
lake build

Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
MiniF2F		MiniF2F
.gitignore		.gitignore
LICENSE		LICENSE
Main.lean		Main.lean
MiniF2F.lean		MiniF2F.lean
MiniF2FLean4.lean		MiniF2FLean4.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Provide feedback