Apps Bundles Favorites Categories Blog

All packages (1)

Showing 1–1 of 1

browser developer gaming media security productivity utility ✕ clear

Lean

Lean.Lean

Programming Language and Theorem Prover

v4.30.0Apache-2.0

winget.tech

The fastest way to set up Windows. Browse 10,000+ packages, generate install scripts in seconds.

Browse

Apps
Bundles
Categories
Favorites
Blog

About

About
Contact
Privacy
Terms

Data

microsoft/winget-pkgs ↗
Contact us

© 2026 winget.tech · Not affiliated with Microsoft