Formally verified polygon intersection
2 files for Claude Code: verified-polygon-intersection, verified-polygon-intersection CLAUDE.md — 746 tokens loaded in every session.
CLAUDE.md A 746 tok .claude/settings.json A — These files are schildep/verified-polygon-intersection's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.