Elan
Lean FRO
System & Utilities
0.0
|
1,318,113 Downloads
|
—
What's New
Version 4.2.1
No changelog available yet.
Description
elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file.
Download
winget install Lean.Elan
