CoLoR: a Coq library on rewriting and termination
Résumé
Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Frédéric Blanqui : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00084835
Soumis le : jeudi 31 août 2006-16:46:49
Dernière modification le : vendredi 24 mars 2023-14:52:47
Archivage à long terme le : lundi 5 avril 2010-22:13:19