17.12.2025, 14:00 - 16:00
– Campus Golm, Building 9, Room 2.22 and via Zoom
Institutskolloquium
Formalising Mathematics: differential geometry and number theory in the Lean proof assistant
María Inés Frutos Fernández and Michael B. Rothgang (Uni Bonn)






