saltype (pypi): Symbolic algebra light type
Keywords: symbolic|algebra