feat(publications): add link to ICTAC slides
feat(publications): add link to ICTAC slides

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