Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

Comment

Save my name, email, and website in this browser for the next time I comment.

Δ