PrototypeCommon
schildep/verified-3d-mesh-intersection
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
- Owner
- schildep (personal account)
- Stars
- Stars: 110
- Forks
- Forks: 2
- Language
- Lean
- License
- MIT
- Created
- 2026
- Topics
- computational-geometryconstructive-solid-geometryformal-methodsformal-verificationlean4mesh-processingverified-software
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- optsuite/optlibStars: 112LeanPrototype
- pandaman64/lean-regexStars: 112LeanPrototype
- leanprover-community/quote4Stars: 111LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanStars: 108LeanPrototype
- NethermindEth/LeanCILStars: 108LeanPrototype
- leanprover/SampCertStars: 106LeanPrototype