En relation avec le sujet du cours

Coq : aspects pratiques de la théorie des types (Attention ! Ce séminaire aura lieu à Bordeaux)

Le séminaire se déroulera à l'Inria Bordeaux. Notez que sa date a changé par rapport au programme imprimé qui indiquait le 12 décembre.
  • en savoir plus