Zulip Chat Archive
Stream: general
Topic: How to install Lean
Sayantan Majumdar (Mar 20 2019 at 08:52):
came accross error: toolchain 'nightly' does not have the binary
Sayantan Majumdar (Mar 20 2019 at 08:52):
solved one error now the next
Sayantan Majumdar (Mar 20 2019 at 09:08):
it worked
Sayantan Majumdar (Mar 20 2019 at 09:08):
had to use "" as my username had spaces
Johan Commelin (Mar 20 2019 at 09:09):
Wrong thread...
Last updated: May 02 2025 at 03:31 UTC