Lean
Lean FRO
System & Utilities
0.0
|
2,032,543 Downloads
|
—
What's New
Version 4.30.0
No changelog available yet.
Description
This is the repository for Lean 4.. Please read our Contribution Guidelines first.
Download
winget install Lean.Lean
