I also just became aware of computational algebra systems like emmy: https://github.com/mentat-collective/emmy

My question is: is there an interactive math curriculum/textbook/etc that uses such a system to teach the math? I would find that a lot more engaging than learning math the old way!