AAC Tactics
NOASSERTIONOCamlv9.0.0
A Coq plugin providing tactics for rewriting universally quantified equations modulo associativity and commutativity.
37 stars26 forks0 contributors
Overview
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Related Projects
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
