Home Explore Bookmarks Inbox Collections Profile

Recent Search

Command Palette

Search for a command to run...

Command Palette

Search for a command to run...

Home Explore Bookmarks

Inbox Collections Profile

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code — Blankdot

github.com6 days ago

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical…

Visit github.com

No discussion yet. Be the first to share your thoughts!