Ramana
@ramana
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.
0 reply
0 recast
1 reaction
