Tactiques de preuve pour formaliser des modèles de la théorie des types homotopiques en déduction modulo réécriture
Axe : SciLex
Coordinateurs : Bruno Barras, LSV – Georges Gonthier, Inria – Samuel Mimram, LIX
Institution : ENS Paris-Saclay
Chercheur postdoctoral : Rehan Malak
Adresse mail : rehan.malak@inria.fr
Laboratoire gestionnaire: LSV
Adossé à l’action DigiCosme : GT UPSCaLe
Durée & Dates de la mission : 1 an