# schildep/verified-3d-mesh-intersection

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

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

schildep/verified-3d-mesh-intersection has 110 stars on GitHub. Its RepoMasters card: Prototype tier. Formally verified 3D mesh intersection - trust 93 lines…

| Field | Value |
| --- | --- |
| Owner | [schildep](https://repo.masters-masters.com/en/owners/schildep) |
| Stars | 110 |
| Forks | 2 |
| Language | [Lean](https://repo.masters-masters.com/en/languages/lean) |
| License | MIT |
| Created | 2026 |
| Topics | computational-geometry, constructive-solid-geometry, formal-methods, formal-verification, lean4, mesh-processing, verified-software |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [schildep/verified-3d-mesh-intersection](https://github.com/schildep/verified-3d-mesh-intersection) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Lean

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

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.