AI products & services

verified-3d-mesh-intersection

Link

https://github.com/schildep/verified-3d-mesh-intersection

Mentioned in

1 video

Kind

Other tool — not classified as AI

What people use it for

• Provides a formally verified geometry kernel for exact solid intersection and mesh well-formedness, based on a Lean specification. Its browser demo processes STL files locally.
  Github Awesome