AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem (medium.com) 14 points by CrunchyJams 8y ago ↗ HN
[–] TwoFactor 8y ago ↗ It's good to see people finally leveraging an existing language for secure smart contracts rather than develop a new one from scratch.
1 comment
[ 2.3 ms ] story [ 46.3 ms ] thread