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

(github.com)

1 points | by th0rgal2 6 hours ago ago

1 comments