E

Install Elan with winget

Lean.Elan · Lean FRO

Install command

winget install -e --id Lean.Elan

About Elan

The Lean version manager

Last updated: 2 months ago
Version: v4.2.1
Publisher: Lean FRO
Website: github.com
Source: winget-pkgs manifest
Download: Direct installer (.zip)
License: Apache-2.0
Min OS: Windows 10+
Tags: lean

Catalog refreshed: 5/28/2026

Versions

4.2.1latest

4.2.0

4.1.2

4.1.1

More from Lean FRO