عن المشروع

Lean 4 هو المستودع الخاص بلغة البرمجة Lean 4 ومثبت النظريات، وهو أداة لكتابة والتحقق من الأدلة الرسمية بالإضافة إلى تطوير البرامج الوظيفية. يوفر المشروع دليل البدء السريع، والصفحة الرئيسية، ودورة تعليمية حول إثبات النظريات، ودليل البرمجة الوظيفية، ونظرة عامة على الوثائق، ومرجع اللغة، وملاحظات الإصدار بدءًا من v4.0.0-m3، وأمثلة، وإرشادات للمساهمة الخارجية. تتوفر تعليمات التثبيت على موقع المشروع، ويمكن بناء المشروع من المصدر باتباع عملية البناء الموثقة. يُطلب من المساهمين قراءة إرشادات المساهمة قبل تقديم التغييرات.