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.
Domaines
| Licence |
|---|
Loading...
| Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Coq is a tool allowing to certify proofs. This paper describes a Coq library for certifying termination proofs.
| Licence |
|---|
Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00084835
Soumis le : lundi 11 septembre 2006-13:48:39
Dernière modification le : mardi 18 novembre 2025-11:44:02
Archivage à long terme le : lundi 20 septembre 2010-16:55:55