Zulip Chat Archive

Stream: new members

Topic: Lean discord


Gustav Kalander (Dec 30 2020 at 18:50):

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 (Dec 30 2020 at 19:18):

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 (Dec 30 2020 at 19:52):

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

Alastair Howcroft (Nov 06 2021 at 14:27):

Hello,

Does anyone have a link for the discord?

Thankyou

Kevin Buzzard (Nov 06 2021 at 14:37):

I do! What's your background?

Alastair Howcroft (Nov 06 2021 at 14:39):

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 (Nov 06 2021 at 14:47):

Oh! Are you lectured by Altenkirch?

Alastair Howcroft (Nov 06 2021 at 14:48):

Yaël Dillies said:

Oh! Are you lectured by Altenkirch?

Yes

Kevin Buzzard (Nov 06 2021 at 15:03):

oh not another computer scientist. Are you a constructivist?

Kevin Buzzard (Nov 06 2021 at 15:03):

Go on then, see your private messages :-)


Last updated: Dec 20 2023 at 11:08 UTC