Hacker News new | ask | show | jobs
A gentle introduction to automated reasoning (2021) (amazon.science)
2 points by brendanfalk 883 days ago