winget install --id=Lean.Lean -eDescription
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
Lean is available through winget as package ID Lean.Lean, with version 4.29.1. Use the install command above to set it up on Windows without downloading a separate installer manually.
Why install it with winget
Developer-tool pages are strongest when they connect to the broader workstation build: editors, terminals, runtimes, containers, and AI coding tools.
- •Makes developer stacks easier to reinstall with one repeatable flow
- •Useful for scripting day-one workstation setup
- •Works well when paired with archive pages, publishers, and curated topics
Good fit for
Lean.Lean
Related Apps
A privacy-focused, local-first, open-source, and ready-to-use alternative for Notion & Miro. One hyper-fused platform for wildly creative minds.
MS-SCCI source control plug-in for Git version control.
MS-SCCI source control plug-in for Subversion version control.