Are you interested in teaching mathematics using Lean? Would you like to learn more about Lean and how it has been used in undergraduate teaching?
Join us online for our 2nd Event on “Learning Mathematics with Lean” on 18-19-20th April 2023, times: 14:00-17:00 (GMT). For more details and to register check out our website.
No responses yet