Automated Reasoning as an Annoying Child
Automated Reasoning as an Annoying Child
Feb 25, 2021, 11:28am UTC
https://galois.com/blog/2020/10/automated-reasoning-as-an-annoying-child/