schildep / verified-3d-mesh-intersection
git clone https://github.com/schildep/verified-3d-mesh-intersection.git
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
+0
stars, 24h · #16,437
+~0
stars, 7 days · #16,912
+~0
stars, 30 days · #23,265
108
★ total
2
forks · 1 open issues
Star history (as recorded here)
LanguageLean
LicenseMIT
Created2026-07-26 (2mo ago)
Last push2mo ago
OwnerUser
GitHub topics
computational-geometryconstructive-solid-geometryformal-methodsformal-verificationlean4mesh-processingverified-software