schildep / REPOSITORY
verified-3d-mesh-intersection
Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
Creative toolsShow HNLicense unchecked
Explore repositoryOriginal HN title; author claims are not independently verified.
33Top HN score
13Total comments
1Linked discussions
GO STRAIGHT TO THE SOURCE