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
Rodolfo Reis Soldati
Institute for Quantum Computing (IQC)
1 talk
We use cookies for analytics.
Institute for Quantum Computing (IQC)
1 talk