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