Project-team

DEDUCTEAM

DEDUCTEAM
DEDUCTEAM

Deducteam investigates applications of proof theory to the design of logical frameworks, to interoperability between proof systems, and to the
development of system-independent proof libraries.

Centre(s) inria
Inria Saclay Centre
In partnership with
Université Paris-Saclay

Contacts

Team leader

Aissatou-Sadio Diallo

Team assistant

News