كيف تتعلّم Lean

Lean لغة برمجة وظيفية عامة الأغراض، وهي في الوقت نفسه مساعد لإثبات النظريات. تتوفر مصادر عديدة لتعلّم Lean، بعضها يركّز على جوانبها البرمجية وبعضها الآخر على استخدامها أداةً لإثبات النظريات.

يقدّم كتاب Functional Programming in Lean مقدمة إلى نمط البرمجة الوظيفية باستخدام Lean. وهو موجّه إلى المبرمجين الراغبين في تعلّم Lean، حتى لو لم تكن لديهم أي خبرة سابقة بلغات البرمجة الوظيفية.

وللحصول على نظرة أكثر تعمّقًا إلى إثبات النظريات في Lean، يُدرَج كتاب Theorem Proving in Lean 4 كمصدر رسمي.

ويُعدّ The Lean Language Reference المصدر المرجعي للمعلومات التفصيلية عن اللغة.

ويوفّر Lean Community العديد من المصادر الإضافية لتعلّم Lean.