Quick Start
openclaw skills install openmath-open-theoremopenmath-open-theorem
bybennyzhe · other
Queries open formal verification theorems from the OpenMath platform. Use when the user asks for a list of open theorems, wants Lean or Rocq-specific theorems, needs full detail for a theorem ID, or wants to download a theorem and scaffold a local proof workspace.
openclaw skills install openmath-open-theorem Or ask OpenClaw: "Install the openmath-open-theorem skill"
Try openmath-open-theorem with OpenClaw Cloud
Install and run openmath-open-theorem instantly — no setup required.