Hacker News new | ask | show | jobs
AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem (medium.com)
14 points by CrunchyJams 3029 days ago
1 comments

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