Zulip Chat Archive

Stream: new members

Topic: Lean_Course

Parivash (Feb 09 2023 at 18:11):

Hi,
Is there any online lean course for this spring semester?
Thanks

Monica Omar (Feb 09 2023 at 18:29):

there is one in Edinburgh that you could participate remotely in
here is a link: https://www.maths.ed.ac.uk/~pkinnear/leancourse/

Monica Omar (Feb 09 2023 at 18:31):

(deleted)

David⚛️ (Feb 09 2023 at 20:04):

Can i join the course for beginners?

David⚛️ (Feb 09 2023 at 20:05):

@Monica Omar Please can you get me added to the course group? I'm very interested

David⚛️ (Feb 09 2023 at 20:29):

Hello,
Is there any online lean course for this spring semester for absolute beginners?
Thanks

Kevin Buzzard (Feb 10 2023 at 02:05):

My course is running now: https://github.com/ImperialCollegeLondon/formalising-mathematics-2023

Parivash (Feb 10 2023 at 04:00):

Kevin Buzzard said:

My course is running now: https://github.com/ImperialCollegeLondon/formalising-mathematics-2023

Excellent! Thanks for letting us know.

Last updated: Dec 20 2023 at 11:08 UTC