Content
@
https://opensea.io/collection/dev-21
0 reply
0 recast
2 reactions
PostPatriotLagrange
@eulerlagrange.eth
https://github.com/a16z/halmos Banger toolkit for static analysis for smart contracts. @ncitron.eth is the person responsible for this on fc?
5 replies
0 recast
17 reactions
headless horsefacts
@horsefacts.eth
daejunpark.twitter and @karma
1 reply
0 recast
1 reaction
PostPatriotLagrange
@eulerlagrange.eth
Yooo I went to UIUC
0 reply
0 recast
1 reaction
