Also known as Floyd–Hoare logic, Hoare rules
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).