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

Dedukti: A Universal Proof Checker

Résumé

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

Domaines

Informatique [cs] Calcul parallèle, distribué et partagé [cs.DC]
A-535.pdf (265.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Claire Medrala  : Connectez-vous pour contacter le contributeur

https://hal-mines-paristech.archives-ouvertes.fr/hal-01537578

Soumis le : lundi 12 juin 2017-16:20:45

Dernière modification le : samedi 22 octobre 2022-05:20:03

Télécharger pour visualiser

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⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

INSTITUT-TELECOM ENSMP ENSMP_CRI PARISTECH PSL ENSMP_DR
145 Consultations
21 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More