# miniF2F-lean4

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