Show HN: Verity, Formally verified smart contracts from spec to bytecode

 (github.com)

1 points | by th0rgal2 7 hours ago ago

1 comments