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/