Skip to content

feat(proofs): program equalities over all inputs: integer order, linear_arithmetic over the runtime, fold laws, and the law form (PF-20..PF-23, #117) - #158

Merged
afflom merged 12 commits into
mainfrom
claude/dazzling-cerf-cgz94p
Oct 16, 2026
Merged

feat(proofs): program equalities over all inputs: integer order, linear_arithmetic over the runtime, fold laws, and the law form (PF-20..PF-23, #117)#158
afflom merged 12 commits into
mainfrom
claude/dazzling-cerf-cgz94p

Commits

  1. Commits on Oct 16, 2026