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

In three linesDemonstration of formally verified polygon intersection solved in a single attempt with Claude Opus 4.8, where previous versions failed.

Summary generated by Claude — human-verified