2 points, 0 comments on Hacker News

Source: [Hacker News](https://astledsa.substack.com/p/writing-a-theorem-prover-from-scratch)

Sponsored