verified-3d-mesh-intersection: 形式化验证的3D网格相交工具

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

这是一个基于Lean 4实现的3D构造实体几何（CSG）网格相交项目，据我所知是首个经过形式化验证的同类实现。它通过93行精简的规范定义，确保输出网格的几何正确性，而无需人工审查AI生成的1000多行复杂代码或6万行证明。虽然性能暂未优化，但项目核心在于将人类审查成本降至最低，让开发者能完全信任由LLM生成的代码逻辑。用户可在本地浏览器中体验Web Demo，直接处理STL文件进行网格相交运算。