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…
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…