Ramana
@ramana
19 Following
89 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
2 reactions
Ramana
@ramana
What exactly is a channel?
2 replies
0 recast
0 reaction
