Seminar on Lean

Name: Seminar on Lean
Start: 2022-02-25T13:00:00+01:00
End: 2022-06-03T15:00:00+02:00
Location: Institut für Mathematik, UZH

25 Feb 2022, 13:00 → 3 Jun 2022, 15:00 Europe/Zurich

Y27H12 (Institut für Mathematik, UZH)

Y27H12

Institut für Mathematik, UZH

Winterthurerstr. 190, CH-8057 Zurich, Switzerland

Description

This informal seminar course aims to gather participants from different backgrounds to understand the basics of Lean, a computer proof assistant. We will also cover some relevant type theory.

Contact

oeduel.tetik@math.uzh.ch

elif.sacikara@math.uzh.ch

Registration

Participants

22 View full list

The agenda of this meeting is empty