Skip to content

RootSystem: supply interval bounds directly in the pairing proof - #654

Merged
Vilin97 merged 1 commit into
mainfrom
codex/optimize-20261014
Oct 14, 2026
Merged

RootSystem: supply interval bounds directly in the pairing proof#654
Vilin97 merged 1 commit into
mainfrom
codex/optimize-20261014

Optimize RootSystem interval pairing proof search

b84ddb3
Select commit
Loading
Failed to load commit list.
Greptile Apps / Greptile Review succeeded Oct 14, 2026 in 2m 58s

Base review

Greptile has reviewed the Pull Request.

1 files reviewed, 0 comments added.

View more details on Greptile Apps