Analyzing individual proofs as the basis of interoperability between proof systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

Analyzing individual proofs as the basis of interoperability between proof systems

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
analyzing.pdf (160.98 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Gilles Dowek  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 21 décembre 2017-13:16:22

Dernière modification le : vendredi 24 mars 2023-14:53:06

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-01670394 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE
118 Consultations
123 Téléchargements

Partager

More