Issues

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

  leanprover/elan#210 · Filter by author konard opened on Sep 6, 2026

• elan is unusable offline (behind VPN)

  bug
  leanprover/elan#188 · Filter by author omentic opened on Dec 25, 2025
  10

• Building on windows with perl installed from scoop

  leanprover/elan#186 · Filter by author etiennebonnafoux opened on Nov 3, 2025
  1

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

  leanprover/elan#183 · Filter by author samuela opened on Sep 28, 2025

• Downloading Lean toolchains manually

  leanprover/elan#176 · Filter by author suhr opened on Aug 7, 2025
  7

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

  leanprover/elan#172 · Filter by author eidgenossen opened on Jun 27, 2025
  3

• Title: Elan Fails to Install Complete Toolchain on Windows (Native & WSL) - Core Files Missing (e.g., lean.exe, Std/Format.olean) Despite Reporting Success

  leanprover/elan#166 · Filter by author pacellia opened on May 18, 2025

• elan dump-state should produce SemVer versions

  enhancement
  leanprover/elan#142 · Filter by author mhuisi opened on Nov 20, 2024

• elan toolchain list refuses to list any toolchains

  leanprover/elan#139 · Filter by author eric-wieser opened on Oct 24, 2024
  6

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

  leanprover/elan#136 · Filter by author dbl001 opened on Sep 26, 2024

• Bad paths with elan v3.1.1

  leanprover/elan#132 · Filter by author sbp opened on Jul 24, 2024
  1

• ELAN fails to connect through proxy due to SSL certificate issue

  leanprover/elan#131 · Filter by author Purewhite2019 opened on Jul 23, 2024
  1

• Possible Crash Due to Environment Variable Limitation

  leanprover/elan#127 · Filter by author DorinXL opened on May 10, 2024

• cannot download nonexistent lean

  leanprover/elan#118 · Filter by author philderbeast opened on Jan 21, 2024
  1

• how do i set http(s) proxy for elan?

  leanprover/elan#117 · Filter by author cartazio opened on Dec 27, 2023
  14

• Could not resolve host in elan toolchain install

  leanprover/elan#112 · Filter by author Erotemic opened on Oct 8, 2023
  6

• elan does not start, complaining about error: couldn't find value of ELAN_HOME

  leanprover/elan#109 · Filter by author ghost opened on Sep 21, 2023
  1

• powershell installation fails on Windows ARM, but succeeds via git bash

  leanprover/elan#108 · Filter by author kim-em opened on Sep 20, 2023
  2

• elan self update fails with error could not create link

  leanprover/elan#95 · Filter by author pwintz opened on May 11, 2023
  2

• elan-cli messed up with progess

  leanprover/elan#88 · Filter by author acasta-yhliu opened on Feb 8, 2023

• powershell installation doesn't work on PS v4 or below

  leanprover/elan#87 · Filter by author Voileexperiments opened on Jan 10, 2023

• how about azure CDN instead of scraping HTML assets

  leanprover/elan#84 · Filter by author lovettchris opened on Sep 21, 2022

• uninstall a toolchain leaves a mess when a file is locked.

  leanprover/elan#76 · Filter by author lovettchris opened on Jun 28, 2022

• Follow XDG Base directory specs

  leanprover/elan#75 · Filter by author MckinleyX opened on Jun 23, 2022
  3

• elan toolchain list missing info

  leanprover/elan#49 · Filter by author lovettchris opened on Oct 16, 2021
  2