Install with winget
Open PowerShell or Command Prompt and run:
winget install Lean.Lean
Copied to clipboard!
1Open PowerShell or Command Prompt
2Paste and run the command above
3Follow any on-screen prompts to complete installation
About Lean
Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including: - Type inference - First-class functions - Powerful data types - Pattern matching - Type classes - Extensible syntax - Hygienic macros - Dependent types - Metaprogramming framework - Multithreading - Verification: you can prove properties of your functions using Lean itself
Advanced Install Options
Install (latest)
winget install Lean.LeanInstall (pinned version)
winget install --id Lean.Lean -e --version 4.29.1Upgrade
winget upgrade Lean.LeanUninstall
winget uninstall Lean.LeanFrequently Asked Questions
How do I install Lean using winget?
Open PowerShell or Windows Terminal and run:
winget install Lean.Lean. Winget comes pre-installed on Windows 10 (1809+) and Windows 11.What is Lean?
Programming Language and Theorem Prover
Is Lean free to use?
Lean is distributed under the Apache-2.0 license. Check the publisher’s site for full licensing details.
How do I update Lean with winget?
Run
winget upgrade Lean.Lean in PowerShell or Windows Terminal to upgrade to the latest available version.How do I uninstall Lean?
Run
winget uninstall Lean.Lean to remove Lean from your system.