(library
 (name leibniz)
 (public_name leibniz)
 (libraries str)
 (modules expr canonical simplify substitute lexer parser diff eval integrate series multivariate numerical format polynomial groebner cse codegen limits matrix ode special transforms assumptions piecewise))