Cómo aprender Lean

Lean es a la vez un lenguaje de programación funcional de propósito general y un asistente de demostración. Hay numerosos recursos disponibles para aprender Lean, algunos centrados 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 con Lean. Está dirigido a programadores que quieren aprender Lean, aunque no tengan experiencia previa con lenguajes de programación funcionales.

Para un análisis más detallado de la demostración de teoremas en Lean, el libro Theorem Proving in Lean 4 figura como 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.