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).

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element