Fossy
fossy
Back schildep/verified-3d-mesh-intersection
verified-3d-mesh-intersection

verified-3d-mesh-intersection

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

74 2109 HN points
MIT
 last commit 2026-07-28
computational-geometryconstructive-solid-geometryformal-methodsformal-verificationlean4mesh-processingverified-software
Website Source
Share:

About

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

Languages

Lean96.1%TypeScript3.1%CSS0.3%HTML0.2%C0.1%Shell0.1%JavaScript0.1%Python0%

Contributors1

schildep1

No features listed.

Comments Theme
Keywords
computational-geometry
constructive-solid-geometry
formal-methods
formal-verification
lean4
mesh-processing
verified-software
slug: verified-3d-mesh-intersection

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)