@misc{indiciaec4ee205b7eb6,
  title = {Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information},
  author = {Kazumi Kasaura and Kei Tsukamoto and Kento Mori and Risa Mizuno and Takahiro Namatame and Yuta Oriike and Masaya Taniguchi and Sho Sonoda and Hayata Yamasaki},
  year = {2026},
  url = {https://arxiv.org/abs/2607.05492},
  note = {Source identifier: 2607.05492}
}