What's the license on this project? I'm wondering if it might fit in well with some work Tim Daly has started on the Axiom project hooking up computer algebra to coq et. al.:

https://lists.gnu.org/archive/html/axiom-developer/2015-07/m...