ended7월 29일· 1 sources
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
Why it matters
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 specifi...
1
Sources
+0
24h
—
Growth
54d
Active