Hacker News new | ask | show | jobs
by b0afc375b5 1012 days ago
I have a similar goal as you. Initially I tried reading "How to Prove It: A Structured Approach" but I only got so far, mostly because I decided to prioritize upskilling and getting a new job first.

There's also a relevant hackernews post[0], and one of the suggestions there was "Proofs: A Long Form Textbooks by Jay Cummings".

[0] https://news.ycombinator.com/item?id=31800081