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 10:05 à 10:45 Antoine Chambert-Loir Sur la formalisation des puissances divisées
Colloque 02 juin 2025 15:30 à 16:15 Riccardo Brasca Progrès récents dans la formalisation de la théorie des nombres