Dedukti: A Universal Proof Checker

Mathieu Boespflug 1 Quentin Carbonneaux 2 Olivier Hermant 3, 4 Ronan Saillard 3
1 McGill University
2 Department of Computer Science
3 CRI - Centre de Recherche en Informatique
4 MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : Présentation du projet aux journées communes LTP (Langages, Types et Preuves) - LAC (Logique Algèbre et Calcul)
Type de document :
Communication dans un congrès
Journées communes LTP - LAC, Oct 2012, Orléans, France
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger
https://hal-mines-paristech.archives-ouvertes.fr/hal-01537578
Contributeur : Claire Medrala <>
Soumis le : lundi 12 juin 2017 - 16:20:45
Dernière modification le : mardi 27 mars 2018 - 16:06:21

Annexe

Identifiants

  • HAL Id : hal-01537578, version 1

Collections

ENSMP | ENSMP_CRI | PARISTECH | PSL

Citation

Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant, Ronan Saillard. Dedukti: A Universal Proof Checker. Journées communes LTP - LAC, Oct 2012, Orléans, France. 〈hal-01537578〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

118

Téléchargements de fichiers

7

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD