Une interface pour Dedukti

Ismaïl Lachheb 1, 2
1 LSV - Laboratoire Spécification et Vérification [Cachan]
2 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
Inria Saclay - Ile de France
Type de document :
Mémoires d'étudiants -- Hal-inria+
Informatique [cs]. 2018
Liste complète des métadonnées
https://hal.inria.fr/hal-01898401
Contributeur : Ismaïl Lachheb <>
Soumis le : mercredi 24 octobre 2018 - 08:58:42
Dernière modification le : vendredi 18 janvier 2019 - 13:22:02
Document(s) archivé(s) le : vendredi 25 janvier 2019 - 13:12:55

Fichier

Une_interface_pour_Dedukti___D...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01898401, version 1

Collections

ENS-CACHAN | INRIA | UNIV-PARIS-SACLAY

Citation

Ismaïl Lachheb. Une interface pour Dedukti. Informatique [cs]. 2018. 〈hal-01898401〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

59

Contact


archive-ouverte@inria.fr