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.