Show HN: Tiny Hoare logic verifier using SMTgithub.com/namin 12 pointsnamin1 year ago1 commentSaveHideCopy link On HNComments−fovc1yVery nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.
Comments
Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.