Contribution
Trieste - Italy
-
Adriatico Guest House Kastler Lecture Hall
Automated theorem proving in simplicial topology with ACL2
Organizers
Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche