University of Zurich
»
Institute of Mathematics
»
Institute
Deutsch
Institute of Mathematics
Home
School
Institute
About us
Professors
Staff
Alumni
Guests
Jobs
Preprint Series
Library
How to get here
Academic program
For students
For PhD students
Person
Dr. Elif Saçıkara
E-Mail:
Personal homepage
Webpage of informal seminar on Lean proof assistant
Fall 23
Spring 24
