Programs by Bits of Proof