A platform for using computer algebra systems to solve math problems step-by-step with reinforcement learning
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.