Added additional installation instructions for Lean.

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

Closed thyrgle closed 5 years ago

thyrgle commented 5 years ago

Mathlib mentions using Elan instead of downloading the binaries or building the source but there is no mention of it in downloads.