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 Paris - PSL (École nationale supérieure des mines de Paris)

Présentation du projet aux journées communes LTP (Langages, Types et Preuves) - LAC (Logique Algèbre et Calcul)

Domaines: Informatique [cs]; Informatique [cs]; Calcul parallèle, distribué et partagé [cs.DC]

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⟩