Tools
We are developping some tools in the field of term rewriting.ACP
ACP is an automated confluence prover for term rewriting systems.
AGCP
AGCP is an automated ground confluence tool for many-sorted term rewriting systems.
nrbox
nrbox is a confluence tool for nominal rewriting systems.