Rewriting Modulo Associativity and Commutativity in Coq
Résumé
We present an on-going work that aims at providing tactics for rewriting modulo associativity and commutativity in Coq.
Origine : Fichiers produits par l'(les) auteur(s)