A term rewriting laboratory for completion and equational theorem proving. - View it on GitHub