PrototypeCommune
schildep/verified-3d-mesh-intersection
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
- Propriétaire
- schildep (compte personnel)
- Étoiles
- Étoiles : 110
- Forks
- Forks : 2
- Langage
- Lean
- Licence
- MIT
- Création
- 2026
- Sujets
- computational-geometryconstructive-solid-geometryformal-methodsformal-verificationlean4mesh-processingverified-software
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- optsuite/optlibÉtoiles : 112LeanPrototype
- pandaman64/lean-regexÉtoiles : 112LeanPrototype
- leanprover-community/quote4Étoiles : 111LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanÉtoiles : 108LeanPrototype
- NethermindEth/LeanCILÉtoiles : 108LeanPrototype
- leanprover/SampCertÉtoiles : 106LeanPrototype