← 상세페이지

Lean 4로 증명한 ACID의 함정: 모델링의 경계가 설계의 운명을 결정한다

endedScore 42026. 5. 10. 오후 9:46 ~ 2026. 5. 10. 오후 9:46

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1