Show HN: Why I'm building a graphical, simple Proof Assistant for kids

(substack.com) by tri2820 | Dec 17, 2025 | 0 comments on HN