ParentFull threadStyloBill·Here is the readable version.https://www.quantamagazine.org/20160920-formal-verification-...View on HN