Instructions file
Claude Code instructions for tiwillia/specware, covering claude.md, project overview, build and development commands, build the project and run all tests (unit and integration suites).
2 4mo ago A 780 tokens
2Stars on the repository
4Mods indexed here, across every type
4mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied