elan
elan copied to clipboard
leanprover
The Lean version manager
Due to the Rust 1.80 fallout with `time`, `elan` in nixpkgs is currently broken, it'd be great if a new release would be out (instead of pinning a HEAD containing...
Hi, I'm setting up ELAN in an isolated environment where a proxy is required to access the external internet. When using the proxy, ELAN encounters the following error: ``` thread...
The original markdown package is unmaintained [1]. There is apparently a replacement, but it is still in alpha [2]. rustup (from which elan was forked) switched to using pulldown-cmark [3]...
Using Alpine Linux we can run `elan-init` version `3.1.1` to give us a stable LEAN4 toolchain: ``` # apk add -U gcompat git # wget -O- https://github.com/leanprover/elan/releases/download/v3.1.1/elan-aarch64-unknown-linux-gnu.tar.gz | tar -C...
