Hi nhatcher, You might be interested in https://github.com/google/mathsteps https://github.com/google/mathsteps which is a CAS designed to automatically explai

Hi nhatcher, You might be interested in https://github.com/google/mathsteps https://github.com/google/mathsteps which is a CAS designed to automatically explain step-by-step a problem so that humans can learn from it. There is a presentation (https://www.youtube.com/watch?v=VnBae40DfjE https://www.youtube.com/watch?v=VnBae40DfjE) and a post discussing the system if you are interested (https://blog.socratic.org/stepping-into-math-open-sourcing-our-step-by-step-solver-9b5da066ae36 https://blog.socratic.org/stepping-into-math-open-sourcing-o...). p.s. My comment from this thread also might be of interest to you: https://news.ycombinator.com/item?id=29761667 https://news.ycombinator.com/item?id=29761667