Command Claude Code
Run all CI checks locally, diagnose and fix any failures, then commit the fixes. Use this whenever you want to make sure everything passes before pushing, or after making changes that might break downstream Coq compilation or tests.
Command Claude Code
Run CI checks locally (mirrors GitHub Actions).
Command Claude Code
Create a new hs-to-rocq example that translates a Haskell library to Coq. This skill sets up the directory structure, configures the build system, and iteratively translates the library following the Translation Principles from CLAUDE.md.
Instructions file
Claude Code instructions for plclub/hs-to-rocq, covering claude.md, project overview, build commands, ci commands and architecture.