इस प्रोजेक्ट के बारे में

Lean 4, Lean 4 प्रोग्रामिंग भाषा और प्रमेय प्रमाणक का रिपॉजिटरी है, जो औपचारिक प्रमाणों को लिने और जाँचने तथा कार्यात्मक प्रोग्राम विकसित करने का उपकरण है। यह परियोजना एक क्विकस्टार्ट गाइड, एक होमपेज, एक प्रमेय प्रमाणन ट्यूटोरियल, एक कार्यात्मक प्रोग्रामिंग गाइड, एक दस्तावेज़ीकरण अवलोकन, एक भाषा संदर्भ, v4.0.0-m3 से शुरू होने वाले रिलीज़ नोट्स, उदाहरण, और बाहरी योगदान दिशानिर्देश प्रदान करती है। इंस्टॉलेशन निर्देश परियोजना साट पर उपलब्ध हैं, और परियोजना को दस्तावेज़ित बिल्ड प्रक्रिया का पालन करते हुए स्रोत से बनाया जा सकता है। योगदानकर्ताओं से अनुरोध है कि वे परिवर्तन सबमिट करने से पहले योगदान दिशानिर्देश पढ़ें।