উপকারী Lean রিসোর্স

Lean-এ দক্ষ হয়ে উঠতে সাহায্য করবে এমন দরকারি রিসোর্সের একটি সংগ্রহ।

  • অফিসিয়াল সাইট ভাষা সম্পর্কিত তথ্যের প্রধান উৎস। এতে একটি অনলাইন প্লেগ্রাউন্ড আছে, যেখানে আপনি কিছু ইনস্টল না করেই ভাষাটি চেষ্টা করে দেখতে পারেন।
  • Reservoir Lean ও Lake ইকোসিস্টেমের মধ্যে প্যাকেজ ইনডেক্স, বিল্ড ও টেস্ট করে। থার্ড-পার্টি প্যাকেজের জন্য এটিই উপযুক্ত জায়গা।
  • Lean Community হলো Lean ইকোসিস্টেমকে ঘিরে গড়ে ওঠা একটি সহযোগিতামূলক, ওপেন-সোর্স নেটওয়ার্ক। এটি mathlib-এর দায়িত্বে আছে, যা Lean 4-এর প্রধান কমিউনিটি-চালিত গণিত লাইব্রেরি।
  • Lean 4 Zulip Chat হলো Lean Community-এর প্রধান চ্যাট।