Proof Tactics in Dedukti - Archive ouverte HAL Access content directly
Master Thesis Year : 2017

Proof Tactics in Dedukti

Tactiques de preuve dans Dedukti

(1, 2, 3)
1
2
3
Fichier principal
Vignette du fichier
rapport_pfe_ensimag.pdf (1.23 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01661872 , version 1 (04-01-2018)

Identifiers

  • HAL Id : hal-01661872 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More