Theory: hoare_logic_pc

Parents


Type constants


Term constants


Axioms


Definitions


Theorems