Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

A Formalization of the Generalized Quantum Stein's Lemma in Lean | Researchclopedia

Back to research

A Formalization of the Generalized Quantum Stein's Lemma in Lean

20260 citationsOthergreen Open Access

Authors

Rodolfo R. Soldati · Cambridge Quantum Computing (United Kingdom)

Topics & Keywords

Publication Details

Published in: PIRSA

DOI: 10.48660/26030069