Back Lean (programovací jazyk) Czech Lean (Beweisassistent) German Lean (proof assistant) English لین (دستیار اثبات) Persian Lean (assistant de preuve) French Lean (証明アシスタント) Japanese Lean (bewijsassistent) Dutch Lean (linguagem de programação) Portuguese Lean Russian Lean Ukrainian
| Lean | ||
|---|---|---|
 | ||
| Desarrollador(es) | ||
|
Lean Focused Research Organization (FRO) https://lean-lang.org/ | ||
| Información general | ||
| Paradigma | Functional programming, Imperative programming | |
| Apareció en | 2013 | |
| Diseñado por | Leonardo de Moura | |
| Última versión estable | (2023 de octubre del 30) | |
| Última versión en pruebas | (4.2.0) | |
| Influido por | Rocq | |
| Ha influido a |
ML Coq Haskell | |
| Sistema operativo | Cross-platform | |
| Licencia | Apache License 2.0 | |
Lean es un asistente de pruebas y un lenguaje de programación. Se basa en el cálculo de construcciones con tipos inductivos. Es un proyecto de código abierto alojado en GitHub. Fue realizado por Microsoft Research.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search