Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Leonardo de Moura
conf.researchr.org general profile
PLDI 2025 profile
Registered user since Tue 27 May 2025
Name:
Leonardo de Moura
Contributions
2025
PLDI
Keynote Speaker of Lean: Machine-Checked Mathematics and Verified Programming, Past and Future within the PLDI Research Papers-track
Share
x
Tue 23 Sep 20:31
