Dedukti: A Universal Proof Checker - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année :

Dedukti: A Universal Proof Checker

(1) , (2) , (3, 4) , (3)
1
2
3
4

Résumé

Présentation du projet aux journées communes LTP (Langages, Types et Preuves) - LAC (Logique Algèbre et Calcul)
Vignette du fichier
A-535.pdf (265.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01537578 , version 1 (12-06-2017)

Identifiants

  • HAL Id : hal-01537578 , version 1

Citer

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⟩
139 Consultations
21 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More