Install Lean with winget

Lean.Lean · Lean FRO

Install command

winget install -e --id Lean.Lean

About Lean

Programming Language and Theorem Prover

Last updated: 1 weeks ago
Version: v4.30.0
Publisher: Lean FRO
Website: lean-lang.org
Source: winget-pkgs manifest
Download: Direct installer (.zip)
License: Apache-2.0
Min OS: Windows 10+
Tags: language programming programming-language theorem-prover

Catalog refreshed: 5/28/2026

Versions

4.30.0latest

4.29.1

4.29.0

4.28.0

4.27.0

Related

PureDevSoftware.10x

Sourcegraph.Amp

More from Lean FRO