Gestion Efficace des Versions pour Lean Prover
Elan est un utilitaire léger conçu pour simplifier la gestion des installations du prouveur de théorèmes Lean sur Windows. Cet outil gratuit configure automatiquement votre environnement pour inclure les binaires Lean et lake nécessaires dans votre chemin système. Il rationalise le processus en sélectionnant et en téléchargeant automatiquement la version appropriée de Lean en fonction des spécifications du fichier lean-toolchain de votre projet. Cela garantit que vous travaillez toujours avec la bonne version de Lean pour vos projets.
En plus de ses fonctionnalités automatiques, Elan offre également aux utilisateurs un contrôle manuel sur leurs installations de Lean. Les utilisateurs peuvent installer, sélectionner, exécuter et désinstaller différentes versions de Lean selon leurs besoins via l'interface en ligne de commande de l'exécutable elan. Cette flexibilité fait d'Elan un outil essentiel pour les développeurs et chercheurs travaillant avec le prouveur de théorèmes Lean, améliorant ainsi la productivité et la gestion des dépendances.
