ZIP
WinGet
Lean
Lean FRO · 4.23.0 · x64
Before deploying, verify this file with VirusTotal ↗
Silent Commands
Distributed as a ZIP archive — extract the contents and run the executable directly. No installer is included.
File Identity
Filename
lean-4.23.0-windows.zip
Signature
Status
Upload installer to verify signature
Installer Selection
WinGet Package
Package ID
Lean.Lean
Version
4.23.0
Description
Programming Language and Theorem Prover
License
Apache-2.0
↗
Homepage
https://lean-lang.org/
Release Notes
View changelog ↗