ethereum_formal_verification_overview icon indicating copy to clipboard operation
ethereum_formal_verification_overview copied to clipboard

Published 20 hours ago • verified publisher icon leonardoalt

The slide's link of "Leo Alt : Fully Automated Formal Verification: How far can we go? (ETHcc)" is inaccessible

Open 62theories opened this issue 2 years ago • 1 comments

The link is here https://github.com/leonardoalt/ethereum_formal_verification_overview/blob/b082fd78c8ccbdd64cf46006753183e6fd145cdb/README.md?plain=1#L121 but it is inaccessible Screenshot 2566-07-05 at 09 35 28

62theories avatar Jul 05 '23 02:07 62theories

@leonardoalt please review this at your convenience, thank you.

62theories avatar Jul 05 '23 02:07 62theories