Teaching Lean

Stream: LFTCM 2024

[Jana Göken]

Hey guys! Hope you all had a good start into the summer. :sunny:
During the upcoming weekend, I will have the honor to teach some math undergraduates. I decided I want to teach them some Lean. :octopus: Since I am not an expert yet, I am not sure whether I will be able to answer all their questions. Do you mind if I put some questions here? Of course, I will also try to convince them to register to Zulip, so maybe they could also post their questions in the "general" or "is there code for X?" stream.

[Filippo A. E. Nuccio]

Hi Jana! Of course, please do feel free to post questions here. For them, I think it would be much better to post questions in the "new members" stream, unless they are specific.

[Jana Göken]

Ah perfect, thanks for the suggestion Filippo!

[Jana Göken]

Hey guys! A small update. Some of the undergraduates would like to get a bit further into lean in the future and are interested in events similar to LFTCM. Any suggestions?^^

[Rémy Degenne]

They are a few upcoming workshops and conferences listed on the website, although they are not necessarily very similar to LFTCM: https://leanprover-community.github.io/events.html

[Jana Göken]

Thanks! Yeah I think a tutorial would be best :) I will try to remind them when there is something coming up!