Zulip Chat Archive

Stream: Lean Together 2021

Topic: Thursday schedule


view this post on Zulip Rob Lewis (Jan 07 2021 at 07:19):

Because we're all eager to hear more details about Lean 4, Leo agreed to continue with the metaprogramming slides we ran out of time for yesterday. We'll add this to the schedule at the end of today's session, at . This talk will be technical: if you don't care about metaprogramming, you're welcome to start the social time as scheduled, and the rest of us will join you a bit later.

view this post on Zulip Rob Lewis (Jan 07 2021 at 17:05):

We're running 10 minutes behind. We'll resume shortly after


Last updated: May 08 2021 at 21:09 UTC