3 ms·Formal verification of the long division algorithm2 points by oecumena 2y agooecumena 2y agoManual derivation of Hoare-triples for the long division algorithm verification.