@argotorg.eth
We're excited to announce the first official release of act (v0.2.0):
a formal specification language and verification framework for Ethereum smart contracts, built within the Argot Collective.
This is a major step in our research toward safer on-chain systems. ↓✨
1 reply
0 recast
2 reactions