Show HN: Why I'm building a graphical, simple Proof Assistant for kids (substack.com)

Why HN,

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