search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

fix(download/index): linkfixes #44

Closed fpvandoorn closed 8 years ago

fpvandoorn commented 8 years ago

The links were broken. Please double check whether this commit indeed fixes the links.

soonhokong commented 8 years ago

Thanks, it's merged. This must be related to the recent change on Github Page.