This reminds me of https://teorth.github.io/QED/, made by Terrence Tao. Becuase I played that game, this one was a lot easier. I still like how, because it was graphical, it was much easier to change the proof when I needed to.
It was an inspiration! Its in our acknowledgement list :)
