The Axiom computer algebra system. Not sure what the status of the project is, but the last release notes are from 2014. They had big ambitions, including a c

The Axiom computer algebra system. Not sure what the status of the project is, but the last release notes are from 2014. They had big ambitions, including a completely literate codebase and provably correct implementations of all of their core algorithms. http://www.axiom-developer.org/ http://www.axiom-developer.org/