OpenMath Rocq theorem proves
Use the Rocq Proof Assistant to prove mathematical theorems
0Uses21Likes26Views
What this skill does
Use the Rocq Proof Assistant to prove mathematical theorems
- Clarifies goals, inputs, and success criteria
- Preserves evidence and marks uncertain boundaries
- Produces structured, editable results