Formal verification of the long division algorithm (cofault.com)

2 points by oecumena 1y ago ↗ HN

1 comment

[ 0.30 ms ] story [ 13.7 ms ] thread

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