A gentle introduction to automated reasoning (2021)amazon.science2 points·brendanfalk··0 commentsOpen articleSaveView on HN