行业动态
2026/7/28
18 次阅读
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
来源：github.com
来源: https://github.com/schildep/verified-3d-mesh-intersection 热度: 32 points on HackerNews
来源: https://github.com/schildep/verified-3d-mesh-intersection
热度: 32 points on HackerNews