rocq-build-troubleshoot

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

업데이트됨 2026. 2. 8.

스타

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