Tama is a developer tool for building formally verified Ethereum smart contracts in Verity - View it on GitHub