Skip to Main content Skip to Navigation
Master thesis

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
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Document type :
Master thesis
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
https://hal.inria.fr/hal-01898401
Contributor : ismaïl lachheb Connect in order to contact the contributor
Submitted on : Wednesday, October 24, 2018 - 8:58:42 AM
Last modification on : Friday, February 4, 2022 - 3:23:20 AM
Long-term archiving on: : Friday, January 25, 2019 - 1:12:55 PM

File

Vignette du document
Une_interface_pour_Dedukti___D...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01898401, version 1

Collections

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

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

69

Files downloads

69

 

Contact                    Legal Notice                    Personal Data