I'm aka xrchz
90 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