| Paradigms | functional programming |
|---|---|
| First appeared | 2013 |
| Designed by | Leonardo de Moura |
| Developer | Microsoft Research, Leonardo de Moura |
| Type | proof assistant, programming language, open-source software |
| First release | 2014 |
| Influenced by | Rocq prover, Isabelle |
| License | Apache Software License 2.0 |
| Latest version | 4.35.0 |
| Website | lean-lang.org |
| Platforms | AArch64, x86-64 |
| Written in | Lean, C++, C |
| Operating systems | cross-platform |
Sources: Wikidata (CC0) · Wikidata Q6509476
Programming languages · 1
| Language | Paradigms | First appeared | Developer |
|---|---|---|---|
| F* | functional programming, imperative programming | — | Microsoft Research, Institut National de Recherche en Informatique et en Automatique |