Computable Polynomials in Lean.
Latest release v4.35.0 · 13 Oct 2026
2 files for Codex, OpenCode and Claude Code: CompPoly AGENTS.md, CompPoly CLAUDE.md — 2,758 tokens loaded in every session.
AGENTS.md A 2,755 tok CLAUDE.md A 3 tok These files are Verified-zkEVM/CompPoly's own configuration — they tell Codex, OpenCode and 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.