A shallow dive into formal verification

 (vitalik.eth.limo)

3 points | by fbrusch 6 hours ago ago

No comments yet.