A amazon.science A gentle introduction to automated reasoning 160 points mooreds 4 years ago 30 comments
