Projet de recherche en informatique théorique axé sur la vérification formelle de preuves mathématiques et le développement de tactiques dépendantes dans le langage Meta Dedukti. Il permet d'assurer la correction et la fiabilité des démonstrations logiques et mathématiques à l'aide de méthodes formelles avancées.

Semaine9 est une bibliothèque logicielle dédiée à la manipulation d'ensembles mathématiques. Elle permet de créer, modifier et analyser des ensembles, ainsi que de générer des objets aléatoires issus de ces ensembles. Utilisée principalement dans des contextes éducatifs ou de recherche, elle facilite les opérations logiques et probabilistes sur des collections d'éléments.