Unification and Matching in an Abelian Group
Why do you think that https://github.com/sirlensalot/fadno-braids is a good alternative to agum
Unification and Matching in an Abelian Group
Why do you think that https://github.com/sirlensalot/fadno-braids is a good alternative to agum