چگونه Lean را یاد بگیریم

Lean هم یک زبان برنامه‌نویسیِ تابعیِ همه‌منظوره است و هم یک «دستیار اثبات». منابع متعددی برای یادگیری Lean در دسترس است؛ برخی بر جنبه‌های برنامه‌نویسی آن تمرکز دارند و برخی دیگر بر کاربردش به عنوان «اثبات‌کننده‌ی قضیه».

کتاب Functional Programming in Lean درآمدی است بر پارادایم برنامه‌نویسی تابعی با Lean. این کتاب برای برنامه‌نویسانی است که می‌خواهند Lean را یاد بگیرند، حتی اگر هیچ تجربه‌ی پیشینی با زبان‌های برنامه‌نویسی تابعی نداشته باشند.

برای نگاهی عمیق‌تر به اثبات قضیه در Lean، کتاب Theorem Proving in Lean 4 به عنوان یک منبع رسمی معرفی شده است.

The Lean Language Reference منبع معتبری برای اطلاعات دقیق درباره‌ی این زبان است.

Lean Community منابع افزوده‌ی بسیاری را برای یادگیری Lean در اختیار می‌گذارد.