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