← 상세페이지

NestedDot: Lean 4로 형식화된 QR코드의 수학적 대안

endedScore 42026. 4. 19. 오전 8:13 ~ 2026. 4. 19. 오전 8:13

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1