Interactive equation solver

Hello :man_raising_hand:

Are there any projects that provide an interactive equation solver for Symbolics.jl?

Here’s an example of what I mean, but for sympy/Python:

Just curious to review any existing work in that area.

Thanks!

Ed