fovc 4 days ago Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.
Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.