Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
endedScore 62026. 7. 29. 오전 12:21 ~ 2026. 7. 29. 오전 12:21
Status Lifecycle
1
New2
Rising3
Peak4
EndedTimeline
총 문서 수
1
추적 기간
1일
Score
6
최대 doc_count
1
총 문서 수
1
추적 기간
1일
Score
6
최대 doc_count
1