![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM] > TBC
TBCAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Angeliki Koutsoukou-Argyraki. This talk has been canceled/deleted Abstract not available This talk is part of the Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM] series. This talk is included in these lists:This talk is not included in any other list Note that ex-directory lists are not shown. |
Other listsCambridge University Armenian Society DPMMS Lists Odd perfect numbersOther talksMicroglial-glioma interactions Finish Data Visualisation and Digital Accessibility: What We Can Do to Help TBC Gateway Early Life Microbiomes and Long-Term Health |