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

2 pointsposted 2 months ago
by tri2820
(substack.com)

No comments yet