hoare-logic tag

Ordered by date created, newest first. Page 1 of 1; 1 publications total.

• Rendanheyi is a Hoare program: every script as a micro-enterprise 2026-07-16 · article
  Treat each deterministic script as a micro-enterprise: precondition, body, postcondition plus witness, refusal condition, bounded resources. Route, don't prompt