Formal Verification of Ethereum 2.0 Deposit Contract

1

For anyone interested

https://medium.com/coinmonks/formal-verification-of-ethereum-2-0-deposit-contract-part-i-931ffe80b9c1

I didn’t write the post, just sharing in case anyone finds it useful.

If you have any question or comment, directly respond to the post.