Search results

elan is unusable offline (behind VPN)

bugSomething isn't workingSomething isn't working

Status: Open.

#188 In leanprover/elan;

· omentic opened on Dec 25, 2025

Building on windows with perl installed from scoop

Status: Open.

#186 In leanprover/elan;

· etiennebonnafoux opened on Nov 3, 2025

Stream error in the HTTP/2 framing layer when running elan toolchain install

Status: Open.

#183 In leanprover/elan;

· samuela opened on Sep 28, 2025

Downloading Lean toolchains manually

Status: Open.

#176 In leanprover/elan;

· suhr opened on Aug 7, 2025

All elan downloads fail due to revocation check - need an --ssl-no-revoke option

Status: Open.

#172 In leanprover/elan;

· eidgenossen opened on Jun 27, 2025

zip = "^2.5.0" is yanked

Status: Open.

#168 In leanprover/elan;

· juhp opened on May 29, 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

Status: Open.

#166 In leanprover/elan;

· pacellia opened on May 18, 2025

elan dump-state should produce SemVer versions

enhancementNew feature or requestNew feature or request

Status: Open.

#142 In leanprover/elan;

· mhuisi opened on Nov 20, 2024

elan toolchain list refuses to list any toolchains

Status: Open.

#139 In leanprover/elan;

· eric-wieser opened on Oct 24, 2024

Issues Building Elan on macOS 15.0 with XCode 16 on Intel: error: _Float16 is not supported on this target

Status: Open.

#136 In leanprover/elan;

· dbl001 opened on Sep 26, 2024

Bad paths with elan v3.1.1

Status: Open.

#132 In leanprover/elan;

· sbp opened on Jul 24, 2024

ELAN fails to connect through proxy due to SSL certificate issue

Status: Open.

#131 In leanprover/elan;

· Purewhite2019 opened on Jul 23, 2024