Not registered as user yet

Name: Leonardo De Moura

Affiliation: Microsoft Research, Redmond

Personal website: http://leodemoura.github.io/

POPL 2017 Activities

• Author of The Lean Theorem Prover within the Tutorials-track in POPL 2017
• Show activities from other conferences