Prototype d'extension du système Coq - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport Contrat/Projet) Année : 2004

Prototype d'extension du système Coq

Frédéric Blanqui
Constraints, automatic deduction and software properties proofs

Résumé

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.

Domaines

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

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00099932

Soumis le : mercredi 11 octobre 2006-11:40:01

Dernière modification le : jeudi 15 février 2024-03:31:01

Archivage à long terme le : lundi 5 avril 2010-23:52:30

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : inria-00099932 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA UNIV-LORRAINE INRIA2 LORIA LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
70 Consultations
64 Téléchargements

Partager

More