Apr 17, 2026 Talk at Perimeter Institute: Formally verified quantum information and the Generalized Quantum Stein's Lemma Oct 15, 2025 Quantum Information in \(\mathsf{L∃∀N}\)!