GitHub repository: justindujardin/mathy
Primary language: Python
Description: Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning