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