Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
By permute · 2026-07-28 · 60 points · 21 comments
https://github.com/schildep/verified-3d-mesh-intersection
To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees…
Open the full discussion on BetterNews