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

ENS Paris-Saclay,Université Paris-Saclay

Contacts

Team leader

Bahar Carabetta

Team assistant

Melanie Da Silva

Team assistant

Mariana De Almeida

Team assistant

Anna Dib

Team assistant

Laetitia Jubely

Team assistant

Joyce Soares Brito

Team assistant

News