02 juin 2025 Colloque Formalisation des mathématiques et types dépendants 02 juin 2025 Partager Facebook Linkedin Copier le lien
Colloque 02 juin 2025 09:00 à 18:00 Thierry Coquand Formalisation des mathématiques et types dépendants