Proof-generation-theorems
Theorems supporting proof generation.
The proof hints generated by transformations
reference the general theorems that we collect here.
Subtopics
- Exec-error-theorems
- Error theorems about execution.
- Exec-congruence-theorems
- Congruence theorems about execution.
- Exec-loop-theorems
- Theorems about loop execution.
