Comment by oecumena

Manual derivation of Hoare-triples for the long division algorithm verification.