M medium.com AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem 14 points CrunchyJams 8 years ago 1 comments
