Repository navigation

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

Commits on Nov 4, 2026
- Import explicit distinct-distance improvement in general position
  Vilin97
  committed
  34dc461
- Document exported distinct-distance certificate parsers
  Vilin97
  committed
  cdddecf
- Share distinct-distance counting and geometry proofs
  Vilin97
  committed
  7299ced
- Consolidate distinct-distance counting and geometry proofs
  Vilin97
  committed
  42bb9c5