From the Universality of Mathematical Truth to the Interoperability of Proof Systems

Title:From the Universality of Mathematical Truth to the Interoperability of Proof Systems

Conference:IJCAR 2022

Tags:Dedukti, Interoperability, logical frameworks and Universality

Abstract:

I. Yet another crisis of the universality of mathematical truth

II. Logical frameworks

III. Examples of axioms in Dedukti

IV. The benefits of universality