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 > Formalising (part of) the Diagonal Ramsey Paper