Lean discord

Stream: new members

[Gustav Kalander]

There should be an open discord server about Lean because I like discord more :) would anyone like to make one?
And can I please join the Xena discord? I'm in first year.

[Kevin Buzzard]

I don't want to police an open server. I really like how things have worked out on the Xena server. People do livestreams and chat about a lot of off-topic stuff, there's music and surprise haikus. I was on the server 24/7 over the summer but now I don't have time to police it so I closed it off. I'll DM you an invite to Xena BTW. I will be using it to teach my graduate course next term and so I don't really just want randomers spamming stuff. Have you done any Natural Number Game?

[Gustav Kalander]

Thank you, and yes I have started the natural number game. its really well made! great job!

[Alastair Howcroft]

Hello,

Does anyone have a link for the discord?

Thankyou

[Kevin Buzzard]

I do! What's your background?

[Alastair Howcroft]

I'm at Nottingham University, UK. We cover the Lean Prover, and I'm struggling to understand it. Was wondering if I could get some guidance and if some people might be able to answer some questions I have.

[Yaël Dillies]

Oh! Are you lectured by Altenkirch?

[Alastair Howcroft]

Yaël Dillies said:

Oh! Are you lectured by Altenkirch?

Yes

[Kevin Buzzard]

oh not another computer scientist. Are you a constructivist?

[Kevin Buzzard]

Go on then, see your private messages :-)