from Hacker News

e79

joined 1/23/14, 2:58 AM has 221 karma

• Exploring the formal verification built into the Solidity compiler

  by e79 on 5/15/20, 2:01 PM, with 0 comments

• Software Foundations

  by e79 on 5/3/20, 2:56 PM, with 0 comments