BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.71//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33336662-3232-4432-b563-633961646166
X-WR-CALNAME:Formalizing mathematics in LEAN  Calendar
X-WR-CALDESC:Events of the lecture Formalizing mathematics in LEAN
X-WR-TIMEZONE:Europe/Berlin
END:VCALENDAR