3 ms·AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem2 points by LopRabbit 9y agors86 9y agoWould love technical details and less PR stunts