Proofs in theories - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Lectures Year : 2022

Proofs in theories

Fichier principal
Vignette du fichier
pit.pdf (645.71 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04057037 , version 1 (03-04-2023)

Identifiers

  • HAL Id : hal-04057037 , version 1

Cite

Gilles Dowek. Proofs in theories. Master. France. 2022, pp.154. ⟨hal-04057037⟩
237 View
156 Download

Share

Gmail Mastodon Facebook X LinkedIn More