HDRs 2021
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
Résumé
Date de soutenance : 05-01-2021
Président du jury : Yves Bertot(Yves.Bertot@inria.fr)
Jury :
