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