Link: https://www.quantamagazine.org/how-computer-scientists-learned-to-reinvent-the-proof-20220523
Tags: #todo #cs