Hacker News new | ask | show | jobs
by fovc 367 days ago
Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.