Organizers: Bogdan Dumitru, Horațiu Cheval, Laurențiu Leuștean and Bogdan Macovei

Lean is a functional programming language that can also be used as an interactive theorem prover. The Lean project was launched by Leonardo de Moura at Microsoft Research in 2013.
The Lean seminar is addressed to undergraduate, master and PhD students who wish to master Lean.

There are two seminars every week:
  • Thursday, between 16:00 and 18.00 (Instructor: Bogdan Macovei)
  • Friday, between 16:00 and 18.00 (Instructor: Horațiu Cheval)
The seminars are online.