06.11.2024, 14:00 - 16:00
– Campus Golm, Building 9, Room 2.22 and via Zoom
Institutskolloquium
Graphon Models for Inhomogeneous Random Graphs
Olga Klopp (Paris), Nicolas Verzelen (Montpellier)
Christoph Stephan
I will give an introduction to the Lean 4 proof assistant, focusing on basics of interactive theorem proving, dependend type theory and its applications in mathematics. The talk will be suitable for beginners with no prior knowledge of Lean 4.