OpRec

一个正在开发中的大型库，可以转换函数。它计划支持逆函数（解变量），使用运算符重载进行微分，以及使用Risch算法进行积分。