Home » HDRs

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 :

    Copyright : LS2N 2017 - Mentions Légales - 
     -