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
⚠️ This repo is NOT maintained regularly. Use your own discretion.
git clone https://github.com/yangky11/miniF2F-lean4
cd miniF2F-lean4
lake exe cache get
lake build