Talks by Rodolfo Reis Soldati
-
Lecture - Lean-verified Quantum Information Theory, QIC 891
Rodolfo Reis Soldati - Institute for Quantum Computing (IQC)
-
Lecture - Lean-verified Quantum Information Theory, QIC 891
Rodolfo Reis Soldati - Institute for Quantum Computing (IQC)
-
Lecture - Lean-verified Quantum Information Theory, QIC 891
Rodolfo Reis Soldati - Institute for Quantum Computing (IQC)
-
Lecture - Lean-verified Quantum Information Theory, QIC 891
Rodolfo Reis Soldati - Institute for Quantum Computing (IQC)
-
Lecture - Lean-verified Quantum Information Theory, QIC 891
Rodolfo Reis Soldati - Institute for Quantum Computing (IQC)
-
Lecture - Lean-verified Quantum Information Theory, QIC 891
Rodolfo Reis Soldati - Institute for Quantum Computing (IQC)
-
A Formalization of the Generalized Quantum Stein's Lemma in Lean
Rodolfo Reis Soldati - Institute for Quantum Computing (IQC)