Videos now available!

Stream: Leaning In!

[Jesse Alama]

I'm happy to announce that videos for the talks are now available on YouTube! We had some technical difficulties at various points, so the quality is somewhat degraded at times, but I think you'll find them valuable nonetheless.

[Kevin Buzzard]

https://www.youtube.com/watch?v=YcCqQUVxrxk&list=PLw3oY2Noyuf8rMG5A2l9bhgE7iVDZuA4X&index=6 is titled "Com­bi­na­to­r­i­al and po­si­tion­al games in Lean — Yves Jäckle" but it seems to be a talk by Michael Rothgang on bordism theory.

[Jesse Alama]

Kevin Buzzard said:

https://www.youtube.com/watch?v=YcCqQUVxrxk&list=PLw3oY2Noyuf8rMG5A2l9bhgE7iVDZuA4X&index=6 is titled "Com­bi­na­to­r­i­al and po­si­tion­al games in Lean — Yves Jäckle" but it seems to be a talk by Michael Rothgang on bordism theory.

Ack, that's a file switch on my part. Thanks for letting me know!