Prototype d'extension du système Coq - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Contract/Project Report) Year : 2004

Prototype d'extension du système Coq

Abstract

Nous décrivons comment obtenir, installer et utiliser le prototype de Coq avec réécriture basé sur la bibliothèque CiME. Nous donnons ensuite quelques détails sur son implantation: l'architecture de CiME d'une part, les modifications et nouveaux modules apportés à Coq d'autre part.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
fourniture3.pdf (97.04 Ko) Télécharger le fichier

Dates and versions

inria-00099932 , version 1 (11-10-2006)

Identifiers

  • HAL Id : inria-00099932 , version 1

Cite

Frédéric Blanqui. Prototype d'extension du système Coq. [Contrat] A04-R-505 || blanqui04e, 2004, 8 p. ⟨inria-00099932⟩
52 View
54 Download

Share

Gmail Facebook X LinkedIn More