leanprover/elan

View on GitHub

The Lean version manager

Stars: 637
Forks: 58
Open beginner issues: 0
Indexed issues: 30
Avg merge: 25m
Merged PRs (30d): 3

Dominant language: Rust
License: Apache-2.0
Last GitHub push: Aug 26, 2026
Latest indexed: Sep 20, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

30 open issues indexed

elan-init --default-toolchain records the default but never installs it (exits 0 with no toolchain on disk) Open

Difficulty 3/5 1-2 days Newbie friendliness 72/100

leanprover/elan#210 · Opened Sep 6, 2026
`elan` is unusable offline (behind VPN) Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 48/100

leanprover/elan#188 · 10 comments · 1 reaction · Opened Dec 25, 2025
Building on windows with perl installed from scoop Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

leanprover/elan#186 · 1 comment · Opened Nov 3, 2025
`Stream error in the HTTP/2 framing layer` when running `elan toolchain install` Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover/elan#183 · Opened Sep 28, 2025
Downloading Lean toolchains manually Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover/elan#176 · 7 comments · Opened Aug 7, 2025
All elan downloads fail due to revocation check - need an --ssl-no-revoke option Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

leanprover/elan#172 · 3 comments · 1 reaction · Opened Jun 27, 2025
Title: Elan Fails to Install Complete Toolchain on Windows (Native & WSL) - Core Files Missing (e.g., lean.exe, Std/Format.olean) Despite Reporting Success Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover/elan#166 · 1 reaction · Opened May 18, 2025
`elan dump-state` should produce SemVer versions Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 48/100

leanprover/elan#142 · Opened Nov 20, 2024
`elan toolchain list` refuses to list any toolchains Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

leanprover/elan#139 · 6 comments · Opened Oct 24, 2024
Issues Building Elan on macOS 15.0 with XCode 16 on Intel: error: _Float16 is not supported on this target Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

leanprover/elan#136 · Opened Sep 26, 2024
Bad paths with elan v3.1.1 Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

leanprover/elan#132 · 1 comment · 1 reaction · Opened Jul 24, 2024
ELAN fails to connect through proxy due to SSL certificate issue Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover/elan#131 · 1 comment · 1 reaction · Opened Jul 23, 2024
Possible Crash Due to Environment Variable Limitation Open

Difficulty 4/5 3-5 days Newbie friendliness 28/100

leanprover/elan#127 · Opened May 10, 2024
cannot download nonexistent lean Open

Difficulty 4/5 3-5 days Newbie friendliness 28/100

leanprover/elan#118 · 1 comment · Opened Jan 21, 2024
how do i set http(s) proxy for elan? Open

Difficulty 2/5 1-3 hours Newbie friendliness 25/100

leanprover/elan#117 · 14 comments · Opened Dec 27, 2023
Could not resolve host in elan toolchain install Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

leanprover/elan#112 · 6 comments · Opened Oct 8, 2023
elan does not start, complaining about `error: couldn't find value of ELAN_HOME` Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

leanprover/elan#109 · 1 comment · Opened Sep 21, 2023
powershell installation fails on Windows ARM, but succeeds via git bash Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

leanprover/elan#108 · 2 comments · Opened Sep 20, 2023
`elan self update` fails with error `could not create link` Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

leanprover/elan#95 · 2 comments · 2 reactions · Opened May 11, 2023
elan-cli messed up with progess Open

Difficulty 2/5 1-3 hours Newbie friendliness 55/100

leanprover/elan#88 · Opened Feb 8, 2023
powershell installation doesn't work on PS v4 or below Open

Difficulty 2/5 1-3 hours Newbie friendliness 50/100

leanprover/elan#87 · Opened Jan 10, 2023
how about azure CDN instead of scraping HTML assets Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

leanprover/elan#84 · Opened Sep 21, 2022
uninstall a toolchain leaves a mess when a file is locked. Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

leanprover/elan#76 · Opened Jun 28, 2022
Follow XDG Base directory specs Open

Difficulty 3/5 1-2 days Newbie friendliness 55/100

leanprover/elan#75 · 3 comments · 26 reactions · Opened Jun 23, 2022
elan toolchain list missing info Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

leanprover/elan#49 · 2 comments · 1 reaction · Opened Oct 16, 2021
How to build elan on windows Open

Difficulty 3/5 1-2 days Newbie friendliness 30/100

leanprover/elan#44 · 2 comments · Opened Oct 8, 2021
Runing elan-init.sh under msys2 makes elan available via cmd, but not via msys2. Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

leanprover/elan#40 · 2 comments · Opened Oct 4, 2021
RFC: Upgrading Lean versions Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

leanprover/elan#7 · 3 comments · 2 reactions · Opened Apr 20, 2018
`elan script` command Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover/elan#3 · Opened Apr 11, 2018
Rustup cleanup Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

leanprover/elan#2 · Opened Apr 11, 2018

leanprover/elan

Get new issues in your inbox