Apr 17, 2026 Talk at Perimeter Institute: Formally verified quantum information and the Generalized Quantum Stein's Lemma