“But overall, whenever a programmer writes a program, they generally keep a vague outline of a proof of correctness in their head. Sometimes that proof is incomplete or wrong — humans are fallible — but it always guides the writing.”— Arthur B., hackernoon.comTagged: Smart Contracts, Blockchain, Programming