Status – A Mobile Ethereum OS
I haven&#x27;t followed Ethereum since the whole DAO debacle. I was very excited about the technology but the way the whole hard fork&#x2F;Ethereum Classic thing was handled really turned me off. Has progress been made on formally verifying contracts or anything like that? And why aren&#x27;t more people bothered by the whole hard fork thing?