/sagemath

a mathematical axiom proving system written in python, common-lisp, C++ and php based on sympy, maxima and mathematica.

Primary LanguagePython

Watchers