Leonardo A. Lessa

Orcid: 0000-0001-6063-8960

According to our database¹, Leonardo A. Lessa authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

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

[DOI]

CoRR, October, 2025