AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem
medium.com
1 thread
It's good to see people finally leveraging an existing language for secure smart contracts rather than develop a new one from scratch.
It's good to see people finally leveraging an existing language for secure smart contracts rather than develop a new one from scratch.