winget install --id=Lean.Elan -eDescription
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. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.
Elan is available through winget as package ID Lean.Elan, with version 4.2.1. Use the install command above to set it up on Windows without downloading a separate installer manually.
Lean.Elan
Tags
Related Apps
Programming Language and Theorem Prover
Provides a language-agnostic way to express coding assumptions in .NET programs.
.NET Reactor is a powerful code protection and software licensing system for software written for the .NET Framework, and supports all languages that generate .NET assemblies.
02Engine — A faster, stronger, richer creative engine for the hardcore.
Micropatching security vulnerabilities for many programs and in real time