These are chat archives for ethereum/tutorials

21st
May 2016
JohnnyEther
@JohnnyEther
May 21 2016 14:10
whats the deal with zerogox is that a wallet for ether ??
Philip Saunders
@Physes
May 21 2016 18:41
are there any good tutorials or articles related to formal proofing?
Future Thinkers
@FutureThinkers__twitter
May 21 2016 19:20
I'm surprised there are no video tutorials on the site. Is this in the works?
Luca Zeug
@luclu
May 21 2016 19:54
@Physes I’m only aware of this - but I haven’t done any research on it: https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts
@JohnnyEther They used to give me some free test-ether. But sadly not anymore.
Philip Saunders
@Physes
May 21 2016 22:12
@luclu thanks