TAP TO UNMUTE

Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA

Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA