Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Lean
| 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 | Coq | |
| 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.
Previous Page Next Page
