search

leanprover / leanprover.github.io

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

fix(publications): broken link #56

Closed robertylewis closed 7 years ago

avigad commented 7 years ago

On the publications page, the first link (to the online tutorial) is also broken.