| ||||
| ||||
![]() Title:From the Universality of Mathematical Truth to the Interoperability of Proof Systems Authors:Gilles Dowek 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 From the Universality of Mathematical Truth to the Interoperability of Proof Systems ![]() From the Universality of Mathematical Truth to the Interoperability of Proof Systems | ||||
Copyright © 2002 – 2025 EasyChair |