Nicolas (Eisfunke) .ical Hallo, ich bin Nicolas! Beitrag 07.03 14:00 120min Beweisen mit Agda für Programmierer*innen Nicolas (Eisfunke) Ein kleiner Einblick in die Welt des Beweisen und Programmieren mit Agda! Vortragssaal
