https://substack.com/inbox/post/181868197

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.

https://github.com/tri2820/remath