Y
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
TwoFactor
3029 days ago
It's good to see people finally leveraging an existing language for secure smart contracts rather than develop a new one from scratch.
link