leanprover/elan

Issues

• Reuse already downloaded toolchain

  #77 opened 5 months ago by iacore
  1

• when toolchains are empty, message is confusing

  #81 opened 5 months ago by marianaalanis93
  1

• Include release in “downloading component” message

  #111 opened 5 months ago by nomeata
  1

• Deleting from `~/.elan/toolchains` but leaving matching `~/.elan/update-hashes` leaves elan in broken state.

  #107 opened 5 months ago by semorrison
  1

• Possible Crash Due to Environment Variable Limitation

  #127 opened 7 months ago by DorinXL
  0

• Able to install the same toolchain twice

  #126 opened 7 months ago by drhodes
  2

• Support for offline installation of elan and different lean versions

  #125 opened 8 months ago by ziyuwan
  2

• Elan does not update to current version of Lean

  #124 opened 8 months ago by dlebedinsky
  1

• can't find how to set the proxy

  #64 opened 3 years ago by erkekin
  3

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

  #117 opened a year ago by cartazio
  12

• cannot download nonexistent lean

  #118 opened 10 months ago by philderbeast
  1

• Could not resolve host in elan toolchain install

  #112 opened a year ago by Erotemic
  5

• gentoo `sh elan-init.sh` glibc issue

  #116 opened a year ago by geometrylearner
  4

• `stable installed - (error reading lean version)`

  #114 opened a year ago by foxyseta
  7

• README instructions on building from source inaccurate

  #113 opened a year ago by kim-em
  0

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

  #109 opened a year ago by lockywolf
  1

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

  #108 opened a year ago by semorrison
  2

• Rust Toolchain Change Is Required to Build

  #102 opened a year ago by surmeier
  0

• `elan self update` fails with error `could not create link`

  #95 opened 2 years ago by pwintz
  2

• Follow XDG Base directory specs

  #75 opened 2 years ago by MckinleyX
  1

• Can't install via vscode in windows because raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1 not exist

  #100 opened a year ago by linonetwo
  3

• .\elan-init.ps1 fails with `UnauthorizedAccess` on a fresh Windows machine

  #96 opened a year ago by semorrison
  2

• elan self update failed on M1

  #78 opened 2 years ago by ncihnegn
  3

• Don't prepend to LD_LIBRARY_PATH for Lean 4

  #90 opened 2 years ago by iacore
  2

• how about azure CDN instead of scraping HTML assets

  #84 opened 2 years ago by lovettchris
  0

• Cannot install lean 4 stable on Pop_OS 22.04

  #89 opened 2 years ago by tribbloid
  1

• elan-cli messed up with progess

  #88 opened 2 years ago by acasta-yhliu
  0

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

  #87 opened 2 years ago by Voileexperiments
  0

• Update zip crate.

  #85 opened 2 years ago by plugwash
  0

• Wrong instructions: Brew package is called elan-init, not elan

  #80 opened 2 years ago by unhyperbolic
  0

• How to build elan on windows

  #44 opened 3 years ago by lovettchris
  2

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

  #76 opened 2 years ago by lovettchris
  0

• elan-init.ps1 problems

  #71 opened 2 years ago by wintersteiger
  2

• elan-init fails with --default-toolchain none

  #73 opened 3 years ago by lovettchris
  5

• Not Functional on M1 Mac

  #69 opened 3 years ago by donald-pinckney
  6

• Add Apple Silicon release

  #34 opened 3 years ago by dwbcampbell
  3

• Update cargo lockfile to fix #59

  #68 opened 3 years ago by EdAyers
  0

• Curl linking error on Apple Silicon

  #59 opened 3 years ago by chadbrewbaker
  3

• Quiet install option

  #62 opened 3 years ago by lovettchris
  2

• [Question] How to automatically use default installation (with no prompt)

  #60 opened 3 years ago by luiz00martins
  1

• LD Error while building on Apple Silicon

  #58 opened 3 years ago by tanquer
  1

• fix build warnings

  #46 opened 3 years ago by lovettchris
  2

• elan toolchain list missing info

  #49 opened 3 years ago by lovettchris
  2

• virus detected in 1.0.8 download for msvc

  #41 opened 3 years ago by erichfrazer
  1

• unresolved external symbols

  #47 opened 3 years ago by lovettchris
  1

• Get latest lean4 version

  #43 opened 3 years ago by lovettchris
  1

• Runing elan-init.sh under msys2 makes elan available via cmd, but not via msys2.

  #40 opened 3 years ago by semorrison
  2

• Elan not installing on Raspian (x32 and x64)

  #39 opened 3 years ago by TimeTravelPenguin
  1

• `elan update` fails on Intel Mac during self-update step

  #37 opened 3 years ago by bradheintz
  2

• 1.0.8 is not marked as `latest release`

  #38 opened 3 years ago by chenrui333
  2