fix(publications): another broken link
fix(publications): another broken link

leanprover/leanprover.github.io,leanprover/leanprover.github.io,avigad/leanprover.github.io,avigad/leanprover.github.io,leanprover/leanprover.github.io,avigad/leanprover.github.io