-->

Lean

Lean

Lean FRO

System & Utilities

0.0 | 2,032,543 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

UbuntuMono Nerd Font (Ubuntu Mono)

ZedMono Nerd Font (Zed Mono)

SpaceMono Nerd Font (Space Mono)

UbuntuSans Nerd Font families (Ubuntu Sans)

Tinos Nerd Font (Tinos)