Universität Zürich
»
Institut für Mathematik
»
Institut
English
Institut für Mathematik
Home
Für SchülerInnen
Zukünftige Studierende
Institut
Über uns
ProfessorInnen
Personal
Alumni
Gäste
Jobs
Preprint Series
Bibliothek
Anreise
IT Projects
Veranstaltungen
Studium
Doktorat
Person
Dr. Elif Saçıkara
E-Mail:
Personal homepage
Webpage of informal seminar on Lean proof assistant
HS 22
FS 23
HS 23