**Show HN: 经过形式验证的 3D CSG：相信那 93 行规格说明，而不是 1000 行 AI 代码**

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

**来源信息**
- **来源**：Hacker News 热门（buzzing.cc 中文翻译）
- **分类**：tip
- **发布时间**：2026-07-29 03:54（北京时间）
- **原文**：[打开原文](https://github.com/schildep/verified-3d-mesh-intersection)