Nicolas (Eisfunke) .ical Hallo, ich bin Nicolas! Session 03-0714:00120minBeweisen mit Agda für Programmierer*innenNicolas (Eisfunke)Ein kleiner Einblick in die Welt des Beweisen und Programmieren mit Agda!Main Track
