rocq-build-troubleshoot
Skillby 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.
Details
- Path
- RocqOfRust/skills/rocq-build-troubleshoot/SKILL.md