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

(substack.com)

1 points | by tri2820 2 hours ago ago