AboutPressCopyrightContact usCreatorsAdvertiseDevelopersTermsPrivacyPolicy & SafetyHow YouTube worksTest new features
Workshop Schlumberger 2022 : types dépendants et formalisation des mathématiques - YouTube