Lecture - Lean-verified Quantum Information Theory, QIC 891

September 29, 2026 PIRSA:26090035 Course Quantum Information

Courses: Selected Advanced Topics in Quantum Information, QIC 891, September 15 - October 29

Reis Soldati, R. (2026). Lecture - Lean-verified Quantum Information Theory, QIC 891. Perimeter Institute. https://pirsa.org/26090035

Reis Soldati, Rodolfo. Lecture - Lean-verified Quantum Information Theory, QIC 891. Perimeter Institute, Sep. 29, 2026, https://pirsa.org/26090035

@misc{ pirsa_PIRSA:26090035,
  doi = {},
  url = {https://pirsa.org/26090035},
  author = {Reis Soldati, Rodolfo},
  keywords = {Quantum Information},
  language = {en},
  title = {Lecture - Lean-verified Quantum Information Theory, QIC 891},
  publisher = {Perimeter Institute},
  year = {2026},
  month = {sep},
  note = {PIRSA:26090035 see, \url{https://pirsa.org}}
}