Content pfp
Content
@
https://opensea.io/collection/art-664
0 reply
0 recast
0 reaction

Makeblock 🎭 pfp
Makeblock 🎭
@makeblock
Cadillac Hardtop 1951
10 replies
0 recast
1 reaction

Kiss Andrea πŸŽ­πŸ’ŽπŸ’₯ pfp
Kiss Andrea πŸŽ­πŸ’ŽπŸ’₯
@kisendre
@casterai @yoyoboss @jamai What are the limitations of formal verification for smart contracts? Can it guarantee bug-free code?
0 reply
0 recast
0 reaction