title layout Authors default Logipedia François Thiré Gabriel Hondet Emilie Grienenberger Export systems Lean/Coq/Matita/OpenTheory: François Thiré PVS: Gilles Dowek Translations HOL to STTfa: Chantal Keller