Skip to content

Import explicit planar distinct-distance improvement to 43n/120 - #746

Open
Vilin97 wants to merge 4 commits into
mainfrom
codex/import-distinct-distances-20261104
Open

Import explicit planar distinct-distance improvement to 43n/120#746
Vilin97 wants to merge 4 commits into
mainfrom
codex/import-distinct-distances-20261104

Consolidate distinct-distance counting and geometry proofs

42bb9c5
Select commit
Loading
Failed to load commit list.
Greptile Apps / Greptile Review succeeded Nov 4, 2026 in 4m 34s

Base review

Greptile has reviewed the Pull Request.

121 files reviewed, 0 comments added.

View more details on Greptile Apps