Live data from Hacker News

Show HN: Tiny Hoare logic verifier using SMT

Post reply on HN

Print view View original

1–2 of 2 posts

Show HN: Tiny Hoare logic verifier using SMT

#1

Post by namin » Wed, Jun 18, 2025, 12:49 AM UTC

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

Re: Show HN: Tiny Hoare logic verifier using SMT

#2

Post by fovc » Wed, Jun 18, 2025, 2:34 AM UTC

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

Post reply on HN