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
Saclay
In partnership with
ENS Paris-Saclay

Members

Team leader

Alexandra Merlin

Team assistant

News