Rencontre,
3 avril 2025
Josselin Poiret [THE TALK IS POSTPONED TO A LATER CHOCOLA MEETING]
(Galinette, INRIA)
,
THE TALK IS POSTPONED TO A LATER CHOCOLA MEETING (was: Sort Polymorphism for Proof Assistants)
Menu:
Accueil
Accès
Rencontres
Personnel:
Connexion
Créer un compte
Rencontre, 2025-04-03:
Programme
Participants