BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Scott Morrison (Australian National University)
DTSTART:20200713T110000Z
DTEND:20200713T113000Z
DTSTAMP:20260503T024639Z
UID:LeanCurious/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeanCurious/
 1/">Welcome + 1st Lean proof</a>\nby Scott Morrison (Australian National U
 niversity) as part of Lean for the Curious Mathematician\n\nAbstract: TBA\
 n
LOCATION:https://researchseminars.org/talk/LeanCurious/1/
END:VEVENT
END:VCALENDAR