Workshop Schlumberger : Types dépendants et Formalisation des mathématiques
Wednesday, June 15, 2022 - 9:00 AM