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 2^nd Event on “Learning Mathematics with Lean” on 18-19-20^th April 2023, times: 14:00-17:00 (GMT). For more details and to register check out our website.

Download (PDF, 84KB)

 

Posted By : MSHE