@misc{indiciaea66f2b188871,
  title = {Complex Bounded Operators in Isabelle/HOL},
  author = {Dominique Unruh and José Manuel Rodríguez Caballero},
  year = {2026},
  doi = {10.4230/lipics.itp.2026.3},
  url = {https://arxiv.org/abs/2512.05878},
  note = {Source identifier: 2512.05878}
}