Downloader veloce e gratuito (maggiori informazioni)
Filehippo

Icona di scudo di sicurezzaSafe Downloader

Safe Downloader scarica la app velocemente e in totale sicurezza tramite il server ad alta velocità di FileHippo, per garantire affidabilità e sicurezza.
Oltre ad effettuare scansioni antivirus, i nostri editori manualmente controllano ogni download per te.

II vantaggi del Safe Downloader

  • La protezione Malware ti informa se il tuo download ha installato software aggiuntivi e non desiderati.
  • Scopri nuovi software: testa i nuovi programmi che sono presenti nell’ downloader.
  • Con noi hai la possibilità di scegliere se accettare o meno l’installazione di software aggiuntivi.

Recensione dell'editor · 4 luglio 2025

Gestione Efficiente delle Versioni di Lean Prover

Elan è un'utilità leggera che semplifica la gestione delle installazioni del provatore di teoremi Lean su Windows. Questo strumento gratuito configura automaticamente l'ambiente per includere i binari necessari di Lean e lake nel percorso di sistema. Semplifica il processo selezionando e scaricando automaticamente la versione appropriata di Lean in base alle specifiche nel file lean-toolchain del tuo progetto, garantendo che si lavori sempre con la versione corretta di Lean per i propri progetti. Inoltre, Elan offre agli utenti il controllo manuale sulle installazioni di Lean, consentendo di installare, selezionare, eseguire e disinstallare diverse versioni di Lean tramite l'interfaccia a riga di comando dell'eseguibile elan. Questa flessibilità rende Elan uno strumento essenziale per sviluppatori e ricercatori che lavorano con il provatore di teoremi Lean, aumentando la produttività e gestendo le dipendenze in modo efficiente.

Specifiche tecniche

Titolo
Elan 4.1.2 per Windows
Requisiti
Windows 11
Licenza
Gratis
Ultimo aggiornamento
Autore
Lean FRO
SHA-1
751e424e0f3544df80c570605e3f5f59c96373b5
Nome file
4.1.2.zip

Programma disponibile in altre lingue



Changelog

Non abbiamo ancora informazioni sul changelog per la versione 4.1.2 di Elan. A volte gli sviluppatori impiegano un po’ di tempo per fornire queste informazioni. Ti invitiamo a ricontrollare tra qualche giorno.

Ci puoi aiutare?

Se hai informazioni sul changelog, non esitare a condividerle con noi. Ci piacerebbe ascoltarti! Vai alla nostra Pagina Contatti e facci sapere.

Esplora App

Programmi correlati

Ultimo aggiornamento