Wie du Lean lernst

Ein Überblick, wie du von Grund auf mit Lean loslegst

Lean ist sowohl eine funktionale Allzweck-Programmiersprache als auch ein Beweisassistent. Es gibt zahlreiche Ressourcen, um Lean zu lernen. Einige davon drehen sich um die Programmierung, andere darum, wie du Lean als Theorembeweiser einsetzt.

Das Buch Functional Programming in Lean führt dich in die funktionale Programmierung mit Lean ein. Es richtet sich an Programmierer, die Lean lernen möchten, auch wenn sie noch keine Erfahrung mit funktionalen Programmiersprachen haben.

Für einen tieferen Einblick in das Beweisen von Theoremen in Lean ist das Buch Theorem Proving in Lean 4 als offizielle Ressource aufgeführt.

Die Lean Language Reference ist die maßgebliche Quelle für ausführliche Informationen zur Sprache.

Viele weitere Ressourcen zum Lernen von Lean stellt die Lean Community bereit.