Repository navigation

Line-line distance by clamping and reprojecting - #30

Merged

nhz2 merged 2 commits into

mainfrom

line-line-reproject

Nov 3, 2026

Merged

Line-line distance by clamping and reprojecting#30
nhz2 merged 2 commits into
mainfrom
line-line-reproject

Commits on Nov 2, 2026
- Line-line distance by clamping and reprojecting
  
  nhz2
  and
  claude
  committed
  3785035
Commits on Nov 3, 2026
- Explain the line-line clamp-and-reproject proof step by step
  nhz2
  committed
  fa559cb