منابع مفید Lean

مجموعه‌ای از منابع مفید که به شما کمک می‌کند به Lean مسلط شوید

  • سایت رسمی مخزن اصلی محتوای مربوط به این زبان است. یک محیط تمرین آنلاین هم دارد که می‌توانید بدون نصب هیچ چیز، زبان را در آن امتحان کنید.
  • Reservoir بسته‌های اکوسیستم Lean و Lake را فهرست‌بندی می‌کند، می‌سازد و آزمون می‌کند. برای بسته‌های شخص ثالث، مرجع همین‌جاست.
  • Lean Community شبکه‌ای مشارکتی و متن‌باز پیرامون اکوسیستم Lean است. مسئولیت mathlib را بر عهده دارد؛ کتابخانه‌ی اصلی ریاضیات Lean 4 که با مشارکت جامعه توسعه می‌یابد.
  • Lean 4 Zulip Chat چت اصلی برای Lean Community است.