Learning Mathematics with Lean
2nd Event


Virtual event - Zoom

Dates: 18-19-20 April 2023

Times: 14:00-17:00 (GMT)

The event will feature presentations from: 

You can find here further information regarding the sessions and the full schedule

 You can register below to join the event or to be informed for similar future events