ORME

ORME is both a rewrite rule laboratory and a toolbox for building theorem provers and software related to equational theories. Computer algebra system (CAS).