Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Home Page:https://coq-community.org/aac-tactics
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool