← 상세페이지

수학자에게 Lean이 있다면 개발자에게는 TLA+가 있다

endedScore 42026. 9. 9. 오후 6:16 ~ 2026. 9. 9. 오후 6:16

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1