CoLoR: a Coq library on rewriting and termination - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

CoLoR: a Coq library on rewriting and termination

Abstract

Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.
Fichier principal
Vignette du fichier
main.pdf (96.48 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00084835 , version 1 (31-08-2006)
inria-00084835 , version 2 (11-09-2006)

Identifiers

  • HAL Id : inria-00084835 , version 2

Cite

Frédéric Blanqui, Solange Coupet-Grimal, William Delobel, Sébastien Hinderer, Adam Koprowski. CoLoR: a Coq library on rewriting and termination. Eighth International Workshop on Termination - WST 2006, Aug 2006, Seattle, United States. ⟨inria-00084835v2⟩
308 View
197 Download

Share

Gmail Facebook Twitter LinkedIn More