开源
Formally Verified 3D CSG in Lean 4
首个经Lean 4形式化验证的三维构造实体几何（CSG）运算实现，验证代码仅93行
档案回溯至 2026-07 · 收录于 2026-07-28热度 0.0
formal-methodsgeometry
暂未评估,等待下一轮评分。
事件时间线
- 2026-07-28 📦 版本首个形式化验证的3D CSG运算库开源
关联信号
想把「Formally Verified 3D CSG in Lean 4」相关的机会落到自己的业务上?
想把 AI 机会落到自己的业务上?
灯塔背后的优秘智能团队提供:AI 落地咨询 · GEO 优化(让 AI 搜索推荐你的品牌) · 定制开发。留下需求,1 个工作日内回复。