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

 (github.com)

115 points | by permute 3 days ago ago

55 comments