Master Program on Formalised Math

A 2nd year master program on higher algebra and formalised mathematics will be proposed next year (2024/25) in Lyon (France) as part of the joint Master Program of Lyon University, Saint-Étienne University and École Normale Supérieure de Lyon: the details are available here.

Two courses (one per term) will be devoted to formalising mathematics in Lean and one course in the second term will be devoted to CIC in Coq.

Details about the application and admission criteria can be found here.

We would be grateful if you can share the information as broadly as possible. For questions and more information you can either contact me on Zulip or at; or Stéphane Gaussent at

– Filippo A. E. Nuccio