A shallow dive into formal verificationvitalik.eth.limo3 points·fbrusch··0 commentsOpen articleSaveView on HN