Bonn Lean Seminar
This repository contains notes / Lean files / slides from talks given at the Lean seminar in Bonn.
In WiSe 24/25 these are held Fridays 14:15-16:00 in room N0.003. See here for the seminar schedule.
Notes for the SuSe 24 notes on talks on HoTT can be found here.