Download Elan per Windows V 4.1.2

Elan è uno strumento utile per la gestione delle installazioni del provatore di teoremi Lean. Questa applicazione gratuita per Windows semplifica il processo di selezione e installazione delle versioni di Lean, assicurando che gli utenti possano facilmente accedere alla versione necessaria per i loro progetti. Con Elan, le versioni di Lean e lake vengono automaticamente aggiunte al PATH, facilitando il lavoro con il file lean-toolchain del progetto.

Oltre alla gestione automatica, Elan offre anche la possibilità di installare, selezionare, eseguire e disinstallare manualmente le versioni di Lean tramite i comandi dell'eseguibile elan. Questo rende l'applicazione versatile e adatta a sviluppatori che desiderano un controllo maggiore sulle versioni di Lean utilizzate nei loro progetti.