项目详情 · 开发者工具
Verified Mesh Intersection
verified-3d-mesh-intersection Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
schildep.github.io
试用演示 在线检查通过3 hours ago
站点健康
🛠 有 4 条站点健康建议在等作者——认领本项目(X 登录)即可查看。
来源
verified-3d-mesh-intersection Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
致作者:挂上铭牌,认领项目
这个项目还没有作者认领——登录后把铭牌挂到你的站点上,即可完成认领。
致作者:挂上铭牌,认领项目
这个项目还没有作者认领——登录后把铭牌挂到你的站点上,即可完成认领。
继续探索
相似项目
登录 后可举报该项目的问题。
评论
Sign in to comment.