AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem | Dark Hacker News