University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM] > TBC

 

© 2006-2023 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity