Instructions file
Claude Code instructions for septract/lean-c-semantics, covering lean c semantics, architecture, pipeline, key components and project structure.
5 1mo ago A 4,367 tokens
5Stars on the repository
1Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied