WeSearch
Hub / Tags / Verified
TAG · #VERIFIED

Verified coverage.

Every story in the WeSearch catalog tagged with #verified, chronological, with view counts. Subscribe to the per-tag RSS feed to follow this topic in your reader of choice.

1 story tagged with #verified, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.

⌘ RSS feed for this tag →   or   search "Verified"

RELATED TAGS
#show1#formally1#trust1#lines1
GITHUB

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 again…

13 views ·
#show#formally

Browse more

All tags Search "Verified" RSS feed World US Technology Markets