- 语言
- 英语
- 发布于
- 8天前
- 复刻
- 1
schildep/verified-3d-mesh-intersection ↗ · Lean · MIT · 最近提交 4天前
形式验证的3D CSG（构造固体几何）为3D网格交集提供了强大的解决方案，确保准确性和可靠性。与依赖大量AI生成代码的传统方法不同，这种方法仅基于93行形式规范。这意味着开发人员可以在没有复杂算法带来的错误风险的情况下，信任其3D模型的完整性。非常适合工程师、游戏开发者以及任何从事3D图形工作的人，这个工具在保持高精度的同时简化了交集过程。