CoLoR : a Coq library on rewriting and termination

F. Blanqui, S. Coupet-Grimal, W. Delobel, S. Hinderer, A. Koprowski

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic


    Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.
    Original languageEnglish
    Title of host publicationProceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)
    EditorsA. Geser, H. Sondergaard
    Publication statusPublished - 2006


    Dive into the research topics of 'CoLoR : a Coq library on rewriting and termination'. Together they form a unique fingerprint.

    Cite this