Equipe-projet

DEDUCTEAM

DEDUCTEAM
DEDUCTEAM

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.

Centre(s) inria

Centre Inria de Saclay

En partenariat avec

ENS Paris-Saclay,Université Paris-Saclay

Contacts

Frederic Blanqui

Responsable de l'équipe

Aissatou-Sadio Diallo

Assistant(e) de l'équipe