Read news on lines spec with our app.
Read more in the app
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code