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.
Registration
Registration for this event is currently open.