Leonardo de Moura@leodemoura 
lean top 1 theorem-proving top 1 dependent-types top 1

Expertise

Global rank

# 32,911

Location

Redmond
Languages
lean
OCaml
D
C++
TeX
Haskell
Topics
theorem...
depende...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.