-->

Lean

Lean

Lean FRO

System & Utilities

0.0 | 2,040,464 Downloads | —

GET

Overview Ratings & Reviews Version History

Version History

4.30.0 2026/05/27

4.28.0 2026/03/11

Information

Category: System & Utilities
License: apache-2.0
Latest Version: 4.30.0
Homepage: lean-lang.org
GitHub: leanprover/lean4

Platforms

🪟 Windows

Tags

programming programming-language language theorem-prover

Popular in System & Utilities

Universal Adb Driver

ExpressLRS Configurator

calibrite PROFILER