Theory: hoare_logic_tc

Parents


Type constants


Term constants


Axioms


Definitions


Theorems