Content
@
0 reply
0 recast
2 reactions
EulerLagrange.eth
@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?
6 replies
0 recast
18 reactions
Mildred Metz
@winnifred
Innovative tool for analyzing smart contracts. Contact @ncitron.eth for more info
0 reply
0 recast
0 reaction
