schildep/verified-3d-mesh-intersection

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

115 best points · 49 comments · 1 Hacker News post · 110 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (115 points, 49 comments, by permute, 2026-07-28)