Sharing a Library between Proof Assistants: Reaching out to the HOL Family. - François Thiré (LFMTP@FSCD, 2018)

Interoperability between proof systems using the logical framework Dedukti. (Interopérabilité entre systèmes de preuve en utilisant le cadre logique Dedukti). - François Thiré (2020)

Some Axioms for Mathematics. - Frédéric Blanqui; Gilles Dowek; Émilie Grienenberger; Gabriel Hondet; François Thiré (FSCD, 2021)

Logipedia: a multi-system encyclopedia of formal proofs. - Gilles Dowek; François Thiré (CoRR, 2023)

A modular construction of type theories. - Frédéric Blanqui; Gilles Dowek; Émilie Grienenberger; Gabriel Hondet; François Thiré (Log. Methods Comput. Sci., 2023)