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

2 pointsposted a day ago
by tri2820
(substack.com)

No comments yet