Instructions file
Claude Code instructions for plclub/hs-to-rocq, covering claude.md, project overview, build commands, ci commands and architecture.
not rated 96 1mo ago B 6,009 tokens
original MIT
96Stars on the repository
4Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown