Lean-QIT, 양자정보이론 코딩 정리 3종을 Lean 4로 형식화 작성: 유지율 리포터 2026년 07월 14일 11시 13분 0 Lean-QIT는 유한차원 양자정보이론의 운용 정의와 해석 공식을 분리하고, 세 코딩 정리의 기계검증 경로를 공개한 arXiv v1 프리프린트다.
