AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem(medium.com)14 points by CrunchyJams 8 years ago | 1 comment