Workshop Schlumberger : Types dépendants et Formalisation des mathématiques

Name: Workshop Schlumberger : Types dépendants et Formalisation des mathématiques
Start: 2022-06-15T09:00:00+02:00
End: 2022-06-15T18:30:00+02:00
Location: Le Bois-Marie

June 15, 2022

Le Bois-Marie