Zulip Chat Archive
Stream: new members
Topic: New wave
Patrick Massot (Oct 01 2019 at 21:50):
I'm curious about the recent surge in new users. Is there a new Lean based course starting somewhere, or is it Kevin's propaganda?
Kevin Buzzard (Oct 01 2019 at 22:29):
It's just the beginning of term/semester, I suspect.
Chris Laux (Oct 02 2019 at 13:33):
A link to one of the book pdfs was on hacker news...
Simon Hudon (Oct 02 2019 at 17:16):
Nice :)
Last updated: Dec 20 2023 at 11:08 UTC