Nützliche Lean-Ressourcen

Eine Sammlung nützlicher Ressourcen, mit denen du Lean meistern kannst

  • Die offizielle Website ist die wichtigste Quelle für Inhalte rund um die Sprache. Dort gibt es einen Online-Playground, in dem du die Sprache ausprobieren kannst, ohne etwas zu installieren.
  • Das Reservoir indexiert, baut und testet Pakete im Lean- und Lake-Ökosystem. Es ist die erste Adresse für Pakete von Drittanbietern.
  • Die Lean Community ist ein kollaboratives Open-Source-Netzwerk rund um das Lean-Ökosystem. Sie ist verantwortlich für mathlib, die wichtigste von der Community getragene Mathematikbibliothek für Lean 4.
  • Der Lean 4 Zulip Chat ist der zentrale Chat der Lean Community.