Sites Inria

English version

Equipe de recherche DEDUCTEAM

DEDUCTEAM

Présentation de l'équipe

Deducteam explore les applications de la théorie de la démonstration à la conception de cadres logiques, à l'interopérabilité entre systèmes de preuves et à a construction de bibliothèques mathématiques universelles.

Mots-clés : Système de traitement de démonstrations Interopérabilité Bibliothèques de résultats mathématiques

Suivez Inria tout au long de son 50e anniversaire et au-delà !