stream events

Stream: Copenhagen Masterclass 2023

[Notification Bot]

Public stream created by Adam Topaz. Description:

Discussion related to the Masterclass on Formalisation of Mathematics, University of Copenhagen, June 2023.

[Jon Eugster]

hope you don't mind me pasting these links here so I find them quickly.

event website:
https://www.math.ku.dk/english/calendar/events/formalisation-of-mathematics/

announcement stream:
https://leanprover.zulipchat.com/#narrow/stream/113486-announce/topic/Lean.20masterclass.20in.20Copenhagen.202023