git clone https://github.com/yangky11/miniF2F-lean4
cd miniF2F-lean4
lake exe cache get
lake exe LeanCopilot/download
lake build
gudora / minif2f-lean4.5.0 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from yangky11/minif2f-lean4
License: MIT License