Spring 25

MAT012

Formalising Mathematics

Zeiten:

Mi 10.15 - 12.00 Room: Y27H46 Seats: 40

Organized by

 Felix Sefzig

---

For further information please contact: 

Module: 

Anreise zum Institut

e-mail reminder abonnieren