Show HN: Tiny Hoare logic verifier using SMT (github.com)

12 points by namin 1y ago ↗ HN

1 comment

[ 3.2 ms ] story [ 10.6 ms ] thread

fovc 1y ago ↗

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