Skip to content(if available)orjump to list(if available)

Show HN: Tiny Hoare logic verifier using SMT

fovc

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