Cómo aprender Lean

Lean es tanto un lenguaje de programación funcional de propósito general como un asistente de demostración. Hay numerosos recursos disponibles para aprender Lean, algunos enfocados en sus aspectos de programación y otros en su uso como demostrador de teoremas.

El libro Functional Programming in Lean es una introducción al paradigma de la programación funcional usando Lean. Está dirigido a programadores que quieren aprender Lean, incluso si no tienen experiencia previa con lenguajes de programación funcionales.

Para un análisis más profundo de la demostración de teoremas en Lean, el libro Theorem Proving in Lean 4 figura como un recurso oficial.

The Lean Language Reference es la fuente autorizada para obtener información detallada sobre el lenguaje.

La Lean Community pone a disposición muchos recursos adicionales para aprender Lean.