CoLoR, a Coq Library on Rewriting and termination. F. Blanqui, S. Coupet-Grimal, W. Delobel, S. Hinderer and A. Koprowski. WST'06, 5 pages.

Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.

Statcounter W3C Validator Last updated on 26 November 2015. Come back to main page.