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

Merge remote-tracking branch 'origin/main' into claude/dazzling-cerf-…

aa58c1d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar