← 상세페이지

Lean으로 구현하는 '절대 오류 없는' 코드: 타입 인헤비테이션의 마법

endedScore 42026. 5. 27. 오전 3:56 ~ 2026. 5. 27. 오전 3:56

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1