AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem (medium.com)

1 comment

[ 2.7 ms ] story [ 7.6 ms ] thread

It's good to see people finally leveraging an existing language for secure smart contracts rather than develop a new one from scratch.