| Type | human |
|---|---|
| Website | leodemoura.github.io |
Sources: Wikidata (CC0) · Wikidata Q84844322
Languages · 1
| Language | Paradigms | First appeared |
|---|---|---|
| Lean | functional programming | 2013 |
Programming languages · 1
| Language | Paradigms | First appeared | Developer |
|---|---|---|---|
| Lean | functional programming | 2013 | Microsoft Research, Leonardo de Moura |