Lean (linguagem de programação)

Lean é uma linguagem de programação funcional e assistente de prova.^[1] É um projeto de código aberto hospedado no GitHub. A linguagem foi primordialmente desenvolvida por Leonardo de Moura, doutor em ciências da computação pela PUC-Rio. O desenvolvimento foi realizado enquanto Leonardo trabalhava na Microsoft Research (hoje em dia na Amazon Web Services), e teve contribuições significativas de outros coautores e colaboradores. Atualmente, o desenvolvimento é apoiado pela organização sem fins lucrativos Lean Focused Research Organization (FRO).

Referências

↑ Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, André; Sutcliffe, Geoff, eds. «The Lean 4 Theorem Prover and Programming Language». Cham: Springer International Publishing (em inglês): 625–635. ISBN 978-3-030-79875-8. doi:10.1007/978-3-030-79876-5_37. Consultado em 20 de novembro de 2024

Este artigo sobre computação é um esboço. Você pode ajudar a Wikipédia expandindo-o.

[1] Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, André; Sutcliffe, Geoff, eds. «The Lean 4 Theorem Prover and Programming Language». Cham: Springer International Publishing (em inglês): 625–635. ISBN 978-3-030-79875-8. doi:10.1007/978-3-030-79876-5_37. Consultado em 20 de novembro de 2024

[1]