top | item 16521362 AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem 14 points| CrunchyJams | 8 years ago |medium.com 1 comment order hn newest TwoFactor|8 years ago It's good to see people finally leveraging an existing language for secure smart contracts rather than develop a new one from scratch.
TwoFactor|8 years ago It's good to see people finally leveraging an existing language for secure smart contracts rather than develop a new one from scratch.
TwoFactor|8 years ago