Meiburg, A., Lessa, L. A., & Soldati, R. R. (2025). A Formalization of the Generalized Quantum Stein's Lemma in Lean.
Chicago Style (17th ed.) CitationMeiburg, Alex, Leonardo A. Lessa, and Rodolfo R. Soldati. A Formalization of the Generalized Quantum Stein's Lemma in Lean. 2025.
MLA (9th ed.) CitationMeiburg, Alex, et al. A Formalization of the Generalized Quantum Stein's Lemma in Lean. 2025.
Warning: These citations may not always be 100% accurate.