miniF2F-lean4

⚠️ This repo is NOT maintained regularly. Use your own discretion.

Building

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 94 Commits
MiniF2F		MiniF2F
.gitignore		.gitignore
LICENSE		LICENSE
MiniF2F.lean		MiniF2F.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain