Nicolas (Eisfunke) .ical Hallo, ich bin Nicolas! Beitrag 07.0314:00120minBeweisen mit Agda für Programmierer*innenNicolas (Eisfunke)Ein kleiner Einblick in die Welt des Beweisen und Programmieren mit Agda!Vortragssaal
