Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI codegithub.com·115 pts·permute·49
Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failedgithub.com·93 pts·permute·21