Ramana
@ramana
18 Following
97 Followers
Casts
Casts + replies
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
Ramana
@ramana
What exactly is a channel?
2 replies
0 recast
0 reaction
