Nicolas (Eisfunke) .ical Meine Webseite (inkl. Kontaktdaten): https://www.eisfunke.com Sessions 02-24 16:00 120min Beweisen mit Agda für Programmierer*innen Nicolas (Eisfunke) Ein kleiner Einblick in die Welt des Beweisen und Programmierens mit dem Beweisassistenten Agda Vortragssaal
