![[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)
Professor Tobias Nipkow (Technische Universität München).
Thursday 13 June 2024, 17:00-18:00
Live-streamed at MR14 Centre for Mathematical Sciences
Contact: No managers listed
0 upcoming talks View 9 archived talks
Formalisation of mathematics with interactive theorem provers
Alpha-Beta Pruning Explored, Extended and Verified
Formalisation of mathematics with interactive theorem provers
Little theories for big formal proofs
Formalisation of mathematics with interactive theorem provers
Teaching using a proof assistant and controlled natural language
Formalisation of mathematics with interactive theorem provers
Scientific Computing in Lean
Formalisation of mathematics with interactive theorem provers
Condensed Type Theory
Formalisation of mathematics with interactive theorem provers
Formalising Theory of Combinatorial Optimisation
⚠️ Online
Formalisation of mathematics with interactive theorem provers
Structures in dependent type theory
⚠️ Online
Formalisation of mathematics with interactive theorem provers
How to prove Fermat's Last Theorem
⚠️ Online
Please see above for contact details for this list.