Zulip Chat Archive
Stream: Lean Together 2019
Topic: broken link
Bryan Gin-ge Chen (Jan 10 2019 at 01:46):
On the Lean Together website, the link to Kevin Buzzard's slides is currently broken. It should be changed to https://lean-forward.github.io/lean-together/2019/slides/buzzard.pdf
Rob Lewis (Jan 10 2019 at 08:22):
Fixed, thanks.
Last updated: Dec 20 2023 at 11:08 UTC