4 ms·Show HN: Tiny Hoare logic verifier using SMT12 points by namin 1y agofovc 1y agoVery nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.