Zulip Chat Archive
Stream: Copenhagen Masterclass 2023
Topic: Monday lectures
Kevin Buzzard (Jun 26 2023 at 20:46):
2/3 of my talk on Monday was propaganda; here are the slides.
The other 1/3 was live Lean coding, working on a category theory exercise.
Last updated: Dec 20 2023 at 11:08 UTC