← 상세페이지

Lean 시대, 형식화 수학의 60년 역사를 기억하다

risingScore 82026. 4. 28. 오전 12:23 ~ 2026. 4. 28. 오전 11:56

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

2

추적 기간

1일

Score

8

최대 doc_count

2