Zulip Chat Archive

Stream: new members

Topic: Discord


view this post on Zulip Hanting Zhang (Dec 29 2020 at 03:17):

Hi, is there any way to join the Xena Project Discord? All links I can find are expired. @Kevin Buzzard Or is it just an Imperial College thing? Thanks.

view this post on Zulip Bhavik Mehta (Dec 29 2020 at 03:30):

I've messaged you an invite link!

view this post on Zulip Kyle Williams (Dec 29 2020 at 03:41):

Hi @Bhavik Mehta would you be able to send me the link as well? Thanks

view this post on Zulip Hanting Zhang (Dec 29 2020 at 04:51):

Thanks!

view this post on Zulip Kevin Buzzard (Dec 29 2020 at 08:09):

It's supposed to be a young mathematician thing

view this post on Zulip Justice Almanzar (Dec 29 2020 at 15:52):

I'm new to lean and would love to learn more. Could join the Discord server as well?

view this post on Zulip Kevin Buzzard (Dec 29 2020 at 16:59):

What's your background?

view this post on Zulip Kevin Buzzard (Dec 29 2020 at 16:59):

I'm looking for undergraduate mathematicians

view this post on Zulip Justice Almanzar (Dec 29 2020 at 17:07):

I haven't attended college. I'm very much into programming and just recently started reading on real analysis, and Lean seems like an awesome intersection of interest.

view this post on Zulip Kevin Buzzard (Dec 29 2020 at 17:42):

can you do the first level of advanced multiplication world? I feel like we should say it's free entry for maths (or maths + X) UGs and everyone else has to pass some kind of test.

view this post on Zulip Justice Almanzar (Dec 29 2020 at 17:57):

Yea I've been doing that up to functions today. No difficulties so far with those but I have some questions about lean types (like inductives and instances), and I'm more comfortable with Discord.


Last updated: May 16 2021 at 05:21 UTC