TY  - RPRT
TI  - Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information
AU  - Kazumi Kasaura
AU  - Kei Tsukamoto
AU  - Kento Mori
AU  - Risa Mizuno
AU  - Takahiro Namatame
AU  - Yuta Oriike
AU  - Masaya Taniguchi
AU  - Sho Sonoda
AU  - Hayata Yamasaki
PY  - 2026
UR  - https://arxiv.org/abs/2607.05492
ID  - 2607.05492
ER  -