Show HN: Why I'm building a graphical, simple Proof Assistant for kids
https://substack.com/inbox/post/181868197
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...