← 상세페이지

프로그램 검증에서 Rocq가 Lean보다 나은 이유

endedScore 42026. 7. 30. 오전 1:12 ~ 2026. 7. 30. 오전 1:12

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1