@liliminga
liliming no introduction.
iscalc - An interactive symbolic computation framework
Implementation of higher-order logic in Python.