Une interface pour Dedukti

Mémoire D'étudiant Année : 2018

(1, 2)

1
2

Ismaïl Lachheb

Informatique [cs] Interface homme-machine [cs.HC] Logique en informatique [cs.LO]

Fichier principal

Une_interface_pour_Dedukti___Dedukti_Editor.pdf (347.14 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-01898401

Soumis le : mercredi 24 octobre 2018-08:58:42

Dernière modification le : vendredi 24 mars 2023-14:53:08

Archivage à long terme le : vendredi 25 janvier 2019-13:12:55

hal-01898401 , version 1 (24-10-2018)

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

CNRS INRIA ENS-CACHAN INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE

75 Consultations

75 Téléchargements