·
Archived topic · 归档话题，来源已停止追踪
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
时间与来源
时间显示为 UTC
显示时区：UTC
本地时区尚不可用，暂时显示 UTC。
收录当时偏移：UTC+02026年7月28日 18:00 UTC
- 收录
- 2026年7月28日 18:00
- 来源类型
- 未分类
显示时区：UTC
本地时区尚不可用，暂时显示 UTC。
收录当时偏移：UTC+02026年7月28日 18:00 UTC