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.
Type de document :
Communication dans un congrès
PxTP 2017 - Fifth Workshop on Proof eXchange for Theorem Proving, Sep 2017, Brasilia, Brazil
Liste complète des métadonnées

Littérature citée [37 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01670394
Contributeur : Gilles Dowek <>
Soumis le : jeudi 21 décembre 2017 - 13:16:22
Dernière modification le : mardi 9 janvier 2018 - 14:13:30

Fichier

analyzing.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

100

Téléchargements de fichiers

21