![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Yaël Dillies (University of Cambridge).
Thursday 22 June 2023, 17:00-18:00
MR20 Centre for Mathematical Sciences
Contact: No managers listed
0 upcoming talks View 5 archived talks
Formalisation of mathematics with interactive theorem provers
Roth numbers: Upper, lower bounds, and related constructions
⚠️ Note: different room, MR20 this time
Formalisation of mathematics with interactive theorem provers
Formalizing the change of variables formula for integrals in mathlib
⚠️ Hybrid talk (please see abstract for link) Note: different room, MR20 this time
Formalisation of mathematics with interactive theorem provers
Formalizing algebraic number theory, recent progress and future challenges
⚠️ Note: different room, MR20 this time
Formalisation of mathematics with interactive theorem provers
The leanest automata
⚠️ Hybrid talk (please see abstract for link) Note: different room, MR20 this time
Formalisation of mathematics with interactive theorem provers
Explaining mathematics using formalized mathematics
⚠️ Hybrid talk (please see abstract for link)
Please see above for contact details for this list.