Quick Start
openclaw skills install openmath-rocq-theoremopenmath-rocq-theorem
bybennyzhe · productivity
Configures Rocq environments, runs preflight checks, and guides the proving workflow for OpenMath Rocq theorems. Use when the user wants to set up Rocq tooling, prove a downloaded OpenMath theorem in Rocq/Coq, or verify and submit a Rocq proof.
openclaw skills install openmath-rocq-theorem Or ask OpenClaw: "Install the openmath-rocq-theorem skill"
Try openmath-rocq-theorem with OpenClaw Cloud
Install and run openmath-rocq-theorem instantly — no setup required.