Tactiques de preuve dans Dedukti - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Master Thesis Year : 2017

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⟩
216 View
271 Download

Share

Gmail Facebook X LinkedIn More