Home › Other › verified-3d-mesh-intersection

verified-3d-mesh-intersection

by schildep · github.com/schildep/verified-3d-mesh-intersection

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

Stars
★ 88
Forks
2
Language
Lean
Category
Other
License
MIT
computational-geometryconstructive-solid-geometryformal-methodsformal-verificationlean4mesh-processingverified-softwarelean

View on GitHub ↗ Website ↗

Featured in