Openmath Lean Theorem
by bennyzhe · Added 19d ago
Install
git clone https://github.com/openclaw/skills/tree/main/skills/bennyzhe/openmath-lean-theoremAbout
OpenClaw skill by bennyzhe
Tags
developmentopenclawskill
by bennyzhe · Added 19d ago
git clone https://github.com/openclaw/skills/tree/main/skills/bennyzhe/openmath-lean-theoremOpenClaw skill by bennyzhe