rocq-build-troubleshoot

Name: rocq-build-troubleshoot
Author: formal-land

Fast workflow to diagnose and fix Rocq/Coq compile errors in this repository, especially missing imports after links/simulate splits and per-file compile checks.

स्रोत देखें code-quality

maintainer

formal-land

अपडेट किया गया 2/8/2026

स्टार

1107

फोर्क

quick start

Installation and usage

Fast workflow to diagnose and fix Rocq/Coq compile errors in this repository, especially missing imports after links/simulate splits and per-file compile checks.

इंस्टॉलेशन

$ install --globalskills.sh

उपयोग

इंस्टॉल करने के बाद, आप टर्मिनल में यह कमांड चलाकर इस स्किल का उपयोग कर सकते हैं:

skills use rocq-build-troubleshoot