A Formalization of the Generalized Quantum Stein's Lemma in Lean
Perimeter Institute for Theoretical Physics · Institute for Quantum Computing (IQC)
Computer ScienceVideo · 59 min
We use cookies for analytics.
Perimeter Institute for Theoretical Physics · Institute for Quantum Computing (IQC)