miniF2F-lean4

git clone https://github.com/yangky11/miniF2F-lean4
cd miniF2F-lean4
lake exe cache get
lake build

Name		Name	Last commit message	Last commit date
Latest commit History 60 Commits
MiniF2F/Test		MiniF2F/Test
.gitignore		.gitignore
LICENSE		LICENSE
MiniF2F.lean		MiniF2F.lean
README.md		README.md
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Provide feedback