💯 agreed.
I highly recommend that the whole @ethereum ecosystem reads this.
Formal verification is a great tool and we need it but it's not enough. We still need good engineering practices.
I believe @leanEthereum is the concrete future of blockchains and I think it's crucial that we use
