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.
Loading...
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Frédéric Blanqui : Connect in order to contact the contributor
https://inria.hal.science/inria-00084835
Submitted on : Monday, September 11, 2006-1:48:39 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Long-term archiving on: Monday, September 20, 2010-4:55:55 PM