← 상세페이지

Rei-AIOS Paper 164: Lean 4를 통한 수학적 엄밀함과 철학적 직관의 통합

endedScore 42026. 6. 9. 오후 12:01 ~ 2026. 6. 9. 오후 12:01

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1