Elan: Lean Teorem İspatçı Yönetim Aracı
Elan, Lean teorem ispatçısının sürümlerini yönetmek için geliştirilmiş bir araçtır. Windows platformunda çalışan bu ücretsiz yazılım, kullanıcıların projelerine uygun Lean sürümünü kolayca seçip yönetmelerine olanak tanır. Kullanıcılar, projelerinin lean-toolchain dosyasında tanımlanan Lean sürümünü otomatik olarak seçebilir ve gerektiğinde indirebilirler. Ayrıca, Elan ile Lean sürümlerini manuel olarak yükleme, seçme, çalıştırma ve kaldırma işlemleri de gerçekleştirilebilir.
Elan, kullanıcı dostu arayüzü ve basit komut yapısıyla, teorem ispatı ile ilgilenenler için önemli bir yardımcıdır. Yazılım, PATH değişkenine lean ve lake ikili dosyalarını yerleştirerek, kullanıcıların iş akışını kolaylaştırır. Bu özellikler, Elan’ı Lean ile çalışan geliştiriciler için vazgeçilmez bir araç haline getiriyor.
.png){kind=icon}
