JUST IN: IOG says #Cardano $ADA's high assurance team has "shared a first version of Hades, its High Assurance Developer Environment, bringing smart contract development and verification tools into a container to make them easier to use." | News | MoonHub
JUST IN: IOG says #Cardano $ADA's high assurance team has "shared a first version of Hades, its High Assurance Developer Environment, bringing smart contract development and verification tools into a container to make them easier to use."
