Skip to Main content Skip to Navigation
Conference papers

Dedukti: A Universal Proof Checker

Mathieu Boespflug 1 Quentin Carbonneaux 2 Olivier Hermant 3, 4 Ronan Saillard 3 
1 McGill University = Université McGill [Montréal, Canada]
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)
Document type :
Conference papers
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
https://hal-mines-paristech.archives-ouvertes.fr/hal-01537578
Contributor : Claire Medrala Connect in order to contact the contributor
Submitted on : Monday, June 12, 2017 - 4:20:45 PM
Last modification on : Wednesday, November 17, 2021 - 12:33:03 PM

Annex

Identifiers

  • HAL Id : hal-01537578, version 1

Collections

INSTITUT-TELECOM | ENSMP | ENSMP_CRI | PARISTECH | PSL | ENSMP_DR

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

139

Files downloads

21