Verified 3D Mesh Intersection
Formally verified 3D constructive solid geometry (CSG) operations for trusted mesh intersection.
Why it made the shelf
It is an open-source library/tool providing formally verified 3D CSG operations for developers.
On 6 boards
- First seen
- 2 months ago
- Best score
- 115 points · 49 comments
Best matches
See all
Behind the tool
Who built it. How it grew.
People, backing, growth, and ownership. Every claim links to its source.
Official sitegithub.com
Source review current
Public trail
Where it showed up
5 references from 5 publishers.
- First trace
- Hacker News2 months ago
- Strongest thread
- Hacker News49 comments
- 01Hacker NewsFirst traceStrongest discussion
Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
