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

Laetitia Jubely

Team assistant

Joyce Soares Brito

Team assistant

News