Post Doc 

TacticTHo - Tactiques de preuve pour formaliser des modèles de la théorie des types homotopiques en déduction modulo réécriture 

Axe & tâche scientifique DigiCosme : SciLex
Coordinateurs : Bruno Barras, LSV - Georges Gonthier, Inria - Samuel Mimram, LIX
Nom & Prénom du Candidat :
Adresse mail :
Laboratoire gestionnaire: LSV
Adossé à l'action DigiCosme : GT UPSCaLe
Durée & Dates de la mission : 1 an -

---

Contexte :
Objectif :
Productions Scientifiques :