ethereum_formal_verification_overview
ethereum_formal_verification_overview copied to clipboard
The slide's link of "Leo Alt : Fully Automated Formal Verification: How far can we go? (ETHcc)" is inaccessible
The link is here
https://github.com/leonardoalt/ethereum_formal_verification_overview/blob/b082fd78c8ccbdd64cf46006753183e6fd145cdb/README.md?plain=1#L121
but it is inaccessible
@leonardoalt please review this at your convenience, thank you.