No results found
下载 APP
下载 APP
iPhone
Android
用户中心
设置
语言
No results found
Edit this page
Version list
Yoichi Hirai
Formal Verification of Ethereum Contracts.
Description
Formal Verification of Ethereum Contracts.
experiences
Ethereum
https://www.ethereum.org/
A decentralized platform that enables SmartContracts and ĐApps.
Social
medium
twitter
Website
https://yoichihirai.com/