Lean सीखने का तरीका

Lean एक फंक्शनल और जनरल-पर्पज़ प्रोग्रामिंग भाषा है, और साथ ही एक प्रूफ असिस्टेंट भी है। Lean सीखने के लिए बहुत सारे संसाधन उपलब्ध हैं। इनमें से कुछ इसके प्रोग्रामिंग पक्ष पर ध्यान देते हैं, तो कुछ प्रमेय सिद्ध करने के लिए इसके उपयोग पर।

Functional Programming in Lean किताब Lean का उपयोग करते हुए फंक्शनल प्रोग्रामिंग पैराडाइम से परिचय कराती है। यह उन प्रोग्रामरों के लिए है जो Lean सीखना चाहते हैं, भले ही उन्हें फंक्शनल प्रोग्रामिंग भाषाओं का पहले कोई अनुभव न हो।

Lean में प्रमेय सिद्ध करने पर और गहराई से नज़र डालनी हो, तो Theorem Proving in Lean 4 किताब को आधिकारिक संसाधन के रूप में सूचीबद्ध किया गया है।

The Lean Language Reference भाषा के बारे में विस्तृत जानकारी का प्रामाणिक स्रोत है।

Lean सीखने के लिए बहुत सारे और संसाधन Lean Community ने उपलब्ध कराए हैं।