Skip to Main content Skip to Navigation
Conference papers

Analyzing individual proofs as the basis of interoperability between proof systems

Gilles Dowek 1
1 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Abstract : We describe the first results of a project of analyzing in which theories formal proofs can be expressed. We use this analysis as the basis of interoperability between proof systems.
Document type :
Conference papers
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download

https://hal.inria.fr/hal-01670394
Contributor : Gilles Dowek <>
Submitted on : Thursday, December 21, 2017 - 1:16:22 PM
Last modification on : Monday, February 15, 2021 - 10:49:08 AM

File

analyzing.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01670394, version 1

Citation

Gilles Dowek. Analyzing individual proofs as the basis of interoperability between proof systems. PxTP 2017 - Fifth Workshop on Proof eXchange for Theorem Proving, Sep 2017, Brasilia, Brazil. ⟨hal-01670394⟩

Share

Metrics

Record views

240

Files downloads

337