@hackage / limcalc

Limit-based symbolic calculus engine via log-Puiseux series