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
Université Paris-Saclay

Contacts

Frederic Blanqui

Responsable de l'équipe

Aissatou-Sadio Diallo

Assistant(e) de l'équipe