Constructive Solid Geometry

Assess

Techniques

A 3D modeling technique that combines shapes using operations like union, intersection, and subtraction.

Why it's here

Placed in Assess: 1 article(s) of evidence from 1 source(s), led by research-stage coverage, with 1 in the last 30 days. Confidence 24%. Low accumulated evidence, so it defaults conservatively pending more signal.

Evidence (1)

7Hacker News·7/28/2026research
Formally Verified 3D CSG Mesh Intersection in Lean 4
This project presents what is claimed to be the first formally verified implementation of a 3D constructive solid geometry mesh intersection kernel, built in Lean 4 and checked against a short formal specification. It is also positioned as a way to rely on machine-checked proofs rather than trusting AI-generated implementation code, with a browser demo running the verified kernel in WebAssembly.