Hogyan tanulj Leant

Áttekintés arról, hogyan kezdj bele a Leanbe a nulláról.

A Lean egyszerre egy funkcionális, általános célú programozási nyelv és egy bizonyításasszisztens. Számos forrás áll rendelkezésre a Lean megtanulásához; ezek egy része a programozási oldalára összpontosít, mások arra, hogyan használható tételbizonyítóként.

A Functional Programming in Lean című könyv a funkcionális programozási paradigmába vezet be a Lean használatával. Azoknak a programozóknak szól, akik meg szeretnék tanulni a Leant, még akkor is, ha korábban nem találkoztak funkcionális programozási nyelvekkel.

Ha mélyebben szeretnél elmerülni a Leanben folyó tételbizonyításban, a Theorem Proving in Lean 4 című könyv hivatalos forrásként szerepel.

A nyelvvel kapcsolatos részletes információkhoz a The Lean Language Reference a mérvadó forrás.

A Lean tanulásához számos további forrást kínál a Lean Community.