doc: update downloads page for releases

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

Closed david-christiansen closed 8 months ago

david-christiansen commented 8 months ago

Update the status of Lean 4 releases, and move the official instructions to the most prominent place.