Search for a command to run...
LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks