Zarządzanie wersjami Lean z Elan
Elan to narzędzie służące do zarządzania instalacjami prover'a Lean, które automatycznie dostosowuje wersje oprogramowania. Program umieszcza pliki binarne Lean i lake w zmiennej PATH, co umożliwia ich łatwe uruchamianie i pobieranie wersji zgodnych z plikiem lean-toolchain projektu. Użytkownicy mogą w prosty sposób zarządzać różnymi wersjami Lean, co jest szczególnie przydatne w kontekście projektów wymagających specyficznych wersji tego narzędzia.
Najczęściej polecana alternatywa
Aplikacja oferuje możliwość ręcznego instalowania, wybierania, uruchamiania oraz odinstalowywania wersji Lean za pomocą poleceń dostępnych w executable Elan. Dzięki temu użytkownicy mają pełną kontrolę nad swoimi instalacjami, co znacząco ułatwia pracę z theorem prover'em Lean, zwłaszcza w środowiskach akademickich i badawczych.
