symcollab-algebra
symcollab-xor
symcollab-unification
symcollab-rewrite
symcollab-theories
symcollab-moe
