jfehrle / aac-tactics Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
License: Other