A shallow dive into formal verification

(vitalik.eth.limo)

3 points | by fbrusch 6 hours ago ago

No comments yet.