Bibliothèque dédiée à l'intégration de l'outil ZenonModulo avec Lambdapi pour générer des preuves formelles en logique. Elle facilite l'automatisation des démonstrations mathématiques et la vérification de théorèmes dans un cadre formel, en s'appuyant sur des outils de preuve automatisée existants.