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.

Le projet asdf-plmteam-jsiebens-hashi-up est une plateforme dédiée à la gestion de projets de recherche en mathématiques. Il permet la collaboration entre équipes de recherche et facilite l'intégration d'outils de calcul formel.