DEVCON1: Towards Imandra Contracts: Formal verification for Ethereum - Grant Passmore - Githubissues

wangwangwar / daily-notes

Daily Notes

4 stars 0 forks source link

DEVCON1: Towards Imandra Contracts: Formal verification for Ethereum - Grant Passmore #77

Open wangwangwar opened 7 years ago

wangwangwar commented 7 years ago

https://np.reddit.com/r/ethereum/comments/4p8cft/this_online_exchange_i_recently_had_shows_the/d4lthjj/ https://www.youtube.com/watch?v=xeg_Q5uN73Q