# schildep/verified-3d-mesh-intersection

<https://repo.masters-masters.com/repos/schildep/verified-3d-mesh-intersection>

[Accueil](https://repo.masters-masters.com/) › [schildep](https://repo.masters-masters.com/owners/schildep) › [verified-3d-mesh-intersection](https://repo.masters-masters.com/repos/schildep/verified-3d-mesh-intersection)

schildep/verified-3d-mesh-intersection, dépôt open source à 110 étoiles sur GitHub. Carte Prototype de RepoMasters. Formally verified 3D mesh intersection -…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [schildep](https://repo.masters-masters.com/owners/schildep) |
| Étoiles | 110 |
| Forks | 2 |
| Langage | [Lean](https://repo.masters-masters.com/languages/lean) |
| Licence | MIT |
| Création | 2026 |
| Sujets | computational-geometry, constructive-solid-geometry, formal-methods, formal-verification, lean4, mesh-processing, verified-software |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [schildep/verified-3d-mesh-intersection](https://github.com/schildep/verified-3d-mesh-intersection) |

## Fiche du dépôt

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

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Lean

- [vihdzp/combinatorial-games · ★ 113 · Lean · Prototype](https://repo.masters-masters.com/repos/vihdzp/combinatorial-games)
- [pandaman64/lean-regex · ★ 112 · Lean · Prototype](https://repo.masters-masters.com/repos/pandaman64/lean-regex)
- [leanprover-community/quote4 · ★ 111 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover-community/quote4)
- [thefundamentaltheor3m/Sphere-Packing-Lean · ★ 108 · Lean · Prototype](https://repo.masters-masters.com/repos/thefundamentaltheor3m/Sphere-Packing-Lean)
- [NethermindEth/LeanCIL · ★ 108 · Lean · Prototype](https://repo.masters-masters.com/repos/NethermindEth/LeanCIL)
- [leanprover/SampCert · ★ 107 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover/SampCert)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.