Skip to Main content Skip to Navigation
Master thesis

Tactiques de preuve dans Dedukti

Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-01661872
Contributor : Antoine Defourné Connect in order to contact the contributor
Submitted on : Thursday, January 4, 2018 - 7:54:36 PM
Last modification on : Monday, February 15, 2021 - 10:48:20 AM
Long-term archiving on: : Thursday, April 5, 2018 - 12:25:29 PM

File

rapport_pfe_ensimag.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01661872, version 1

Citation

Antoine Defourné. Tactiques de preuve dans Dedukti. Logique en informatique [cs.LO]. 2017. ⟨hal-01661872⟩

Share

Metrics

Record views

311

Files downloads

433