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