Hey!<p>Also working on math education. I am targeting middle schoolers, and my approach is to build a system based on symbolic math and AI to help the students. I have things that could be used in primary schools as well, maybe we could partner somehow?