hackerrepos.返回探索English
schildep / 项目仓库

verified-3d-mesh-intersection

形式化验证的 3D CSG：以 93 行规范验证 AI 生成代码

创意工具Show HN许可证待核实
访问项目仓库简介源于 HN 标题，原作者主张未经独立验证。
33最高 HN 分数
13评论总数
1关联讨论
回到原始讨论

看看社区怎么说