Quick Start
openclaw skills install openmath-lean-theoremopenmath-lean-theorem
bybennyzhe · productivity
Configures Lean environments, installs external proof skills, runs preflight checks, and guides the workflow for proving downloaded OpenMath Lean theorems locally.
openclaw skills install openmath-lean-theorem Or ask OpenClaw: "Install the openmath-lean-theorem skill"
Try openmath-lean-theorem with OpenClaw Cloud
Install and run openmath-lean-theorem instantly — no setup required.