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