Seminar on Lean

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

Y27H12 (Institut für Mathematik, UZH)

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.

Dedicated seminar website