An intuitive and effective smart contracts language and development platform for Tezos. In Python.
We are thrilled to announce that we just released a new version of SmartPy.io in SmartPy.io/dev.
One year after announcing SmartPy and SmartPy.io, it is our great pleasure to announce our new release. It coincides with the great Carthage activation on the Tezos mainnet for no reason.
It is our great pleasure to announce the first open source release of SmartPy and SmartPy.io.
Proving properties of smart contracts is of paramount importance and one of Tezos’ moto is about formally verifying its infrastructure and smart contracts.