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) |
---|