उपयोगी Lean संसाधन

Lean को अच्छी तरह सीखने में मदद करने वाले उपयोगी संसाधनों का संग्रह

  • आधिकारिक साइट भाषा के बारे में सामग्री का मुख्य रिपॉज़िटरी है। इसमें एक ऑनलाइन प्लेग्राउंड है, जहाँ आप बिना कुछ इंस्टॉल किए भाषा को आज़मा सकते हैं।
  • Reservoir Lean और Lake इकोसिस्टम के पैकेजों का इंडेक्स बनाता है, उन्हें तैयार करता है और जाँचता है। थर्ड-पार्टी पैकेजों के लिए यही जगह है।
  • Lean Community Lean इकोसिस्टम के आसपास एक सहयोगात्मक, ओपन-सोर्स नेटवर्क है। यह mathlib के लिए ज़िम्मेदार है, जो Lean 4 के लिए समुदाय-चालित मुख्य गणित लाइब्रेरी है।
  • Lean 4 Zulip Chat Lean Community के लिए मुख्य चैट है।