← 상세페이지

Lean이 프로그램의 정확성을 증명했지만, 그 안에서 버그가 발견됨

endedScore 42026. 4. 16. 오전 3:10 ~ 2026. 4. 16. 오전 3:10

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1