AgentDish directory
3D mesh intersection
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#1057
↓ -3
verified-3d-mesh-intersection
A Lean 4 project for formally verified 3D mesh intersection and constructive solid geometry, with a browser demo for intersecting example meshes or STL imports. |
Developer Tool / Formal verification / geometry | 83 | ↓ -3 | 34 days ago | Details |