BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Lean HoTT library - Floris van Doorn (Carnegie Mellon Universi
 ty)
DTSTART:20170707T103000Z
DTEND:20170707T110000Z
UID:TALK73351@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:An overview of the homotopy type theory library in Lean\, in c
 omparison towards the other proof assistants available for HoTT. This talk
  is more aimed towards the HoTT community. A second talk will be given dur
 ing the workshop which is more aimed towards the formal verification commu
 nity.
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR