Show HN: Why I'm building a graphical, simple Proof Assistant for kids
substack.comWhy 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
No comments yet.