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

    Abstract

    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
    Pages69-73
    Publication statusPublished - 2006

    Cite this