Skip to content

perf(Incompleteness): factor costly definability and frame proofs - #664

Merged
Vilin97 merged 3 commits into
mainfrom
codex/daily-optimize-20261016
Oct 16, 2026
Merged

perf(Incompleteness): factor costly definability and frame proofs#664
Vilin97 merged 3 commits into
mainfrom
codex/daily-optimize-20261016

perf(Incompleteness): reuse congruence and boxed-list inclusion

967e8fa
Select commit
Loading
Failed to load commit list.
Greptile Apps / Greptile Review succeeded Oct 16, 2026 in 3m 52s

Base review

Greptile has reviewed the Pull Request.

19 files reviewed, 0 comments added.

View more details on Greptile Apps