Zulip Chat Archive

Stream: new members

Topic: real analysis


view this post on Zulip Pedro Castilho (Nov 09 2020 at 21:35):

Does anyone know some good material for real analysis with exercises and solutions in lean

view this post on Zulip Alex J. Best (Nov 09 2020 at 22:12):

The #tutorials project has a bit of sequences, limits etc.

view this post on Zulip Kevin Buzzard (Nov 09 2020 at 22:13):

I'm giving a talk on the Xena project discord about doing analysis in Lean on Thursday evening UK. There is the tutorial project. I should write the real number game at some point :-/ We have a lot of material now

view this post on Zulip Pedro Castilho (Nov 09 2020 at 22:14):

@Alex J. Best I saw a bit of that in the tutorial, i wanted to se more

view this post on Zulip Pedro Castilho (Nov 09 2020 at 22:15):

@Kevin Buzzard can I came to the talk? is there a link I can use?

view this post on Zulip Kevin Buzzard (Nov 10 2020 at 16:41):

(replied via DM)


Last updated: May 13 2021 at 20:13 UTC