BEGIN:VCALENDAR
PRODID:www.uu.nl
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:df6b95faa8ec6c8a74851b668fc173ca
DTSTAMP:20251026T234657Z
SUMMARY: Loki - Lean formalization meeting
DESCRIPTION:In the Loki meetings we formalize diverse areas of mathematics.
  Newcomers welcome!\n
DTSTART:20251001T153000Z
DTEND:20251001T193000Z
LOCATION:Hans Freudenthal building - Library
X-ALT-DESC;FMTTYPE=text/html:<span>Hans Freudenthal building - Library</spa
 n>
END:VEVENT
END:VCALENDAR