Wingetlywingetly
← All apps
E

Elan

by Lean FROv4.2.4

Last updated

The Lean version manager

Visit homepage

Install with winget

$ winget install --id Lean.Elan --exact --version 4.2.4

Run in Command Prompt, PowerShell, or Windows Terminal. Prompts for any agreements.

Built by Pckgr

For Intune admins

Stop chasing app updates. Pckgr patches them for you.

Automated application patching for Microsoft Intune. Pckgr keeps a curated library of 1,000+ apps continuously up-to-date in your tenant via Microsoft Graph - no manual repackaging, no chasing vendor sites.

Start free 30-day trial

From $49/month. No credit card required.

Not on Intune? Pckgr RMM deploys and patches apps like this one on any Windows fleet. Free for up to 5 devices.

About

elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.

Installers · v4.2.4

ArchitectureTypeScopeInstallDownload
x64ZIP
archive
-Direct

Copy a command tailored to that specific architecture, type, and scope - useful when winget would otherwise pick a different default.

Security

No known CVEs for Elan.

Coverage is best-effort and depends on a winget package mapping to an NVD CPE entry. Absence here is not a guarantee of safety.

Related apps

  • LeanLean FRO
    Lean.Leanv4.34.1

    Programming Language and Theorem Prover

More from Lean FRO or browse lean.

Frequently asked questions

How do I install Elan on Windows?
Open Windows Terminal, PowerShell, or Command Prompt and run: winget install --id Lean.Elan --exact --version 4.2.4. winget downloads the installer from Lean FRO and runs it. Requires Windows 10 (1809+) or Windows 11.
How do I install Elan silently for unattended deployment?
Add --silent and accept the agreements upfront: winget install --id Lean.Elan --exact 4.2.4 --silent --accept-package-agreements --accept-source-agreements. This is the variant Intune, Configuration Manager, and other deployment tools should use.
How do I uninstall Elan via winget?
Run: winget uninstall --id Lean.Elan --exact. Add --silent for unattended uninstalls. winget will use the registered uninstaller from Elan's Apps & Features entry.
Is Elan free?
Elan is distributed under Apache-2.0. Refer to the publisher (https://github.com/leanprover/elan) for the full license terms - Wingetly itself does not charge for installation.
Does Elan work on Windows 10?
Yes, as long as your Windows 10 build supports winget (1809 or newer). winget ships with App Installer on Windows 10/11 and pulls Elan directly from the publisher.
How do I keep Elan up to date?
Run winget upgrade --id Lean.Elan --exact, or winget upgrade --all to update everything winget tracks. We index 7 versions of Elan from microsoft/winget-pkgs.

Recent versions

  • 4.2.4latest
  • 4.2.3
  • 4.2.2
  • 4.2.1
  • 4.2.0
  • 4.1.2
  • 4.1.1