Applications of Foundational Proof Certificates in theorem proving. (Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes). - Roberto Blanco Martínez (2017)