Nicolas (Eisfunke) .ical Meine Webseite (inkl. Kontaktdaten): https://www.eisfunke.com Session 02-2416:00120minBeweisen mit Agda für Programmierer*innenNicolas (Eisfunke)Ein kleiner Einblick in die Welt des Beweisen und Programmierens mit dem Beweisassistenten AgdaVortragssaal
