[Request]: Elan

[blackbird314]

Prerequisites

• I have searched all issues/PRs to ensure it has not already been reported or fixed.

Criteria

• Non-GUI tool
• Reasonably well-known and widely used (e.g. if it's a GitHub project, it should have at least 500 stars and/or 150 forks)
• English interface (or at least English documentation)
• Latest stable version
• Full version (i.e. not a trial version)
• Fairly standard install (e.g. uses a version-specific download URL, no elaborate pre/post install scripts)

Name

Elan

Description

Elan is a small tool for managing your installations of the Lean theorem prover, like rustup for rust.

Homepage

https://github.com/leanprover/elan/tree/master

Download Link(s)

https://github.com/leanprover/elan/releases/download/v4.0.0/elan-x86_64-pc-windows-msvc.zip

Some Indication of Popularity/Repute

Lean 4, as a modern theorem prover and functional programming language, has demonstrated growing popularity and repute across academic, educational, and technical domains. The best way to manage it is by elan, which is basically a fork of rustup. So I guess we can package it in the same way as rustup.

[blackbird314]

Homebrew link for Elan here: https://formulae.brew.sh/cask/elan#default