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)
14:00 Michael Rothgang (Uni Bonn): Formalising differential geometry in Lean.
15:00 Tea and Coffee Break
15:30 María Inés de Frutos Fernández (Uni Bonn): Number Theory in the Lean Theorem Prover.