/aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainers=@fakusb,@palmskog]

Primary LanguageOCamlOtherNOASSERTION

Watchers