from
Hacker News
Top
New
AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem
by
CrunchyJams
on 3/5/18, 2:49 PM with 1 comments
by
TwoFactor
on 3/5/18, 3:04 PM
It's good to see people finally leveraging an existing language for secure smart contracts rather than develop a new one from scratch.