coq-community / aac-tactics Goto Github PK
View Code? Open in Web Editor NEWCoq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Home Page: https://coq-community.org/aac-tactics
License: Other