schildep made this repository public

schildep made schildep/verified-3d-mesh-intersection public · July 26, 2026 16:01

schildep/verified-3d-mesh-intersection

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

Lean Updated Jul 27