A gentle introduction to automated reasoning (2021) | Dark Hacker News