Assia Mahboubi, Machine-checked computer-aided mathematics ►
Machine-checked computer-aided mathematics
Auteur : Assia Mahboubi
Manuscript :

Equipe : GALLINETTE.
Mots-clés : Théorie des typesPreuves formellesCalcul formel
Date de soutenance : 05-01-2021
Président du jury : Yves Bertot(Yves.Bertot@inria.fr)