Dedukti est un vérificateur de types et un langage dédié à la formalisation et à la vérification de systèmes logiques et mathématiques. Il permet de définir des règles de réécriture et de vérifier leur cohérence, facilitant ainsi la construction de preuves formelles et la validation de propriétés dans des calculs avancés comme le lambda-calcul ou les systèmes de types dépendants.

Projet dédié à la création et au test de fonctions mathématiques simples, notamment pour valider des calculs géométriques comme les triangles équilatéraux et isocèles. Permet de vérifier la cohérence des algorithmes de base en programmation.

Projet de test unitaire pour valider des fonctions mathématiques de base comme le calcul de valeurs et la construction de triangles. Permet de vérifier la cohérence des algorithmes avant intégration dans des applications plus complexes.