fix(documentation/publications.md): fix links moved by 2e7bee4

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

Closed dselsam closed 7 years ago

avigad commented 7 years ago

In fact, this fix is already handled by my last pull request.

dselsam commented 7 years ago

Whoops, thanks for pointing that out. It never occurred to me to check the open pull requests.