I'm aka xrchz
88 Followers
Interested in Theorem Proving + Formal Verification and Ethereum? Verifereum.org is looking for collaborators on a grand project to formally verify EVM applications. All experience levels welcome.
I agree it's surprisingly hard
recast:farcaster://casts/0xb9e74990344c9dc4a470474d78fb193cc6a9a05755d56f5cc1e435d57f40d92d
recast:farcaster://casts/0x8012704b218c6852a7469e0563ef95b7bc66071fad760a041411ad070c080490