Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI codegithub.com
78 points by permute 3 hours ago | 34 comments