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
Logique en informatique [cs.LO]
Loading...