Ramana

@ramana

19 Following

89 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.

0 reply

0 recast

2 reactions

What exactly is a channel?

2 replies

0 recast

0 reaction