AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem (opens in new tab)

(medium.com)

14 pointsCrunchyJams8y ago1 comments

1 comments

1 comments · 1 top-level

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

j / k navigate · click thread line to collapse