François Thiré. Interoperability between proof systems using the logical framework Dedukti. (Interopérabilité entre systèmes de preuve en utilisant le cadre logique Dedukti). PhD thesis, École normale supérieure Paris-Saclay, Cachan, France, 2020. [doi]
@phdthesis{hal-16019, title = {Interoperability between proof systems using the logical framework Dedukti. (Interopérabilité entre systèmes de preuve en utilisant le cadre logique Dedukti)}, author = {François Thiré}, year = {2020}, url = {https://tel.archives-ouvertes.fr/tel-03224039}, researchr = {https://researchr.org/publication/hal-16019}, cites = {0}, citedby = {0}, school = {École normale supérieure Paris-Saclay, Cachan, France}, }