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

(github.com)

2 points | by permute 13 hours ago ago

No comments yet.