▲ 5 pointsA shallow dive into formal verificationvitalik.eth.limoby wslh·3mo ago·0 comments·view on hn ↗