openmath-rocq-theorem
Productivité16 installation(s)v1.0.3Configures Rocq environments, runs preflight checks, and guides the proving workflow for OpenMath Rocq theorems. Use when the user wants to set up Rocq tooli...
Ce skill s'installe en un clic sur un agent AIbergement (runtime OpenClaw) — il sera chargé et utilisé automatiquement lors des prochains tours de votre agent.