General information
| Course name | Kurs: Programmierpraktikum Mathematik und Informatik mit Agda |
| Semester | SS 2024 |
| Current number of participants | 8 |
| Home institute | Algebra und Zahlentheorie |
| Courses type | Kurs in category Teaching |
| Veranstaltung findet online statt / hat Remote-Bestandteile | Yes |
| Hauptunterrichtssprache | deutsch |
