Login

Seminar on Lean

25 February 2022 to 3 June 2022
Institut für Mathematik, UZH
Europe/Zurich timezone

Contact

Registration

Participants

Contact info
Ödül Tetik - oeduel.tetik [symbol] math.uzh.ch

Please register in order to receive updates on the seminar.

Powered by Indico v3.3.7-pre