Equipe de recherche DEDUCTEAM

Deduction modulo, interopérabilité et démonstration automatique

Présentation de l'équipe