Ce projet permet d'exporter des preuves formalisées dans l'assistant de preuve Isabelle vers le langage de preuves Dedukti, facilitant ainsi l'interopérabilité entre différents systèmes de preuve. Il inclut également des fonctionnalités de vérification et de conversion de preuves.