Jay McCarthy

1 talk by Jay McCarthy

• Building a Formally-Verified DApp with the Reach DSL, today! by Jay McCarthy (Devcon5)