3 points, 0 comments on Hacker News

Source: [Hacker News](https://amangoel.ai/blog/before-the-theorem-prover/)

Sponsored