top | item 44305599 Show HN: Tiny Hoare logic verifier using SMT 12 points| namin | 8 months ago |github.com 1 comment order hn newest fovc|8 months ago Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.
fovc|8 months ago Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.
fovc|8 months ago