Hacker News new | ask | show | jobs
by oecumena 481 days ago
Manual derivation of Hoare-triples for the long division algorithm verification.