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
Saclay - Île-de-France
En partenariat avec
ENS Paris-Saclay

Membres

Responsable de l'équipe

Alexandra Merlin

Assistant(e) de l'équipe