Hasznos Lean-források

Válogatás hasznos forrásokból, amelyek segítenek a Lean elsajátításában.

  • A hivatalos oldal a nyelvvel kapcsolatos tartalmak legfőbb gyűjtőhelye. Van egy online játszótere, ahol bármit telepítés nélkül ki is próbálhatsz.
  • A Reservoir a Lean és Lake ökoszisztémán belüli csomagokat indexeli, építi fel és teszteli. Ha külső féltől származó csomagokat keresel, itt érdemes kezdened.
  • A Lean Community a Lean ökoszisztéma köré szerveződő, nyílt forráskódú együttműködő hálózat. Ez a közösség gondozza a mathlib könyvtárat, a Lean 4 fő, közösség vezérelte matematikai könyvtárát.
  • A Lean 4 Zulip Chat a Lean Community fő chatje.