Talks by Rodolfo Reis Soldati
-
A Formalization of the Generalized Quantum Stein's Lemma in Lean
Rodolfo Reis Soldati Institute for Quantum Computing (IQC)
Rodolfo Reis Soldati Institute for Quantum Computing (IQC)