Analyzing individual proofs as the basis of interoperability between proof systems - Archive ouverte HAL Access content directly
Conference Papers Year :

Analyzing individual proofs as the basis of interoperability between proof systems

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.

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
analyzing.pdf (160.98 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Gilles Dowek  : Connect in order to contact the contributor

https://hal.inria.fr/hal-01670394

Submitted on : Thursday, December 21, 2017-1:16:22 PM

Last modification on : Friday, March 24, 2023-2:53:06 PM

Download

Dates and versions

hal-01670394 , version 1 (21-12-2017)

Identifiers

  • HAL Id : hal-01670394 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA ENS-CACHAN INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE
111 View
93 Download

Share

Gmail Facebook Twitter LinkedIn More