Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00084835
Contributor : Frédéric Blanqui <>
Submitted on : Monday, September 11, 2006 - 1:48:39 PM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM
Long-term archiving on: : Monday, September 20, 2010 - 4:55:55 PM

Files

Identifiers

  • HAL Id : inria-00084835, version 2

Collections

Citation

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⟩

Share

Metrics

Record views

521

Files downloads

262