Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

(github.com) by permute | Jul 28, 2026 | 0 comments on HN