مصادر مفيدة لتعلّم Lean

مجموعة من المصادر المفيدة لمساعدتك على إتقان Lean

  • الموقع الرسمي هو المستودع الرئيسي للمحتوى الخاص باللغة. وفيه ساحة تجريبية على الإنترنت يمكنك تجربة اللغة فيها دون تثبيت أي شيء.
  • يفهرس Reservoir الحزم في منظومة Lean وLake ويبنيها ويختبرها. وهو المكان الذي ترجع إليه للحصول على حزم الأطراف الثالثة.
  • Lean Community شبكة تعاونية مفتوحة المصدر حول منظومة Lean. وهي المسؤولة عن mathlib، المكتبة الرياضية الرئيسية التي يقودها المجتمع للغة Lean 4.
  • يُعدّ Lean 4 Zulip Chat المحادثة الرئيسية لمجتمع Lean.