APA (7th ed.) Citation

Meiburg, A., Lessa, L. A., & Soldati, R. R. (2025). A Formalization of the Generalized Quantum Stein's Lemma in Lean.

Chicago Style (17th ed.) Citation

Meiburg, Alex, Leonardo A. Lessa, and Rodolfo R. Soldati. A Formalization of the Generalized Quantum Stein's Lemma in Lean. 2025.

MLA (9th ed.) Citation

Meiburg, Alex, et al. A Formalization of the Generalized Quantum Stein's Lemma in Lean. 2025.