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