I'm embarking on a journey to build an intuitive, graphical Proof Assistant. Wish me luck! The idea came when I saw my sister struggling to keep track of different definitions and theorems while studying Euclidean geometry. I wanted to give those abstract ideas a shape. Something she can easily see and interact with.
In the blog, I’ve included some screenshots of how I imagine it would work. Here’s also the link to the original code.