إدارة إصدارات مثبت نظرية Lean بسهولة
Elan هو أداة مساعدة مصممة لمستخدمي Windows، خصيصًا لإدارة تثبيتات مثبت النظرية Lean. هذه الأداة المجانية تبسط عملية التعامل مع إصدارات Lean المتعددة عن طريق وضع ملفات التنفيذ lean و lake مباشرة في مسار النظام الخاص بك. تقوم تلقائيًا باختيار الإصدار المناسب من Lean كما هو محدد في ملف lean-toolchain الخاص بمشروعك وتنزيله إذا لزم الأمر، مما يسهل إعداد المطورين الذين يعملون مع إثبات النظرية.
أفضل بديل موصى به
بالإضافة إلى الإدارة التلقائية، يوفر Elan للمستخدمين المرونة لتثبيت واختيار وتشغيل وإلغاء تثبيت إصدارات Lean يدويًا من خلال واجهة سطر الأوامر الخاصة به. هذه الميزة مفيدة بشكل خاص للمطورين الذين يحتاجون إلى التبديل بين إصدارات مختلفة لمشاريع متنوعة. مع وظيفته المباشرة، يعزز Elan الإنتاجية ويضمن أن المستخدمين يمكنهم الحفاظ على بيئة Lean الصحيحة بسلاسة.
