Eo2lp est un outil de traduction qui convertit les signatures et scripts de preuves du solveur cvc5 (Eunoia) vers le format LambdaPi, compatible avec l'écosystème Dedukti. Il permet de vérifier automatiquement des preuves générées par cvc5 dans un cadre formel dédié, assurant leur cohérence et leur réduction de type. Le projet cible un sous-ensemble spécifique de cvc5 et offre des fonctionnalités de benchmark pour évaluer la couverture et la fiabilité des traductions.