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.
Frédéric Blanqui : Connect in order to contact the contributor
https://inria.hal.science/inria-00084835
Submitted on : Thursday, August 31, 2006-4:46:49 PM
Last modification on : Friday, March 24, 2023-2:52:47 PM
Long-term archiving on: Monday, April 5, 2010-10:13:19 PM