Projet dédié à la validation et au test de fonctions mathématiques et algorithmiques. Il permet de vérifier la précision des calculs numériques, de simuler des déplacements sur un échiquier virtuel et d'automatiser des tests unitaires pour des algorithmes. Utilisé principalement dans un cadre éducatif ou de recherche pour valider des implémentations logicielles.