Le projet Dedukti est une plateforme dédiée à un outil de vérification de preuves formelles. Il permet aux chercheurs et développeurs de partager des travaux, des ressources et des avancées dans le domaine de la logique et de la vérification automatique. Le site sert de vitrine pour promouvoir l'outil et faciliter l'accès à sa documentation.