Go backward to Proof RulesGo up to TopGo forward to Knowledge |

A proof can be given on various levels of detail.

- Lowest level (most details).
- Very small reasoning steps.
- Correctness can be checked by
*computer program*. - Proofs become very large.

- Higher level (fewer details).
- Larger reasoning steps.
- Proof becomes shorter and manageable by humans.
- Each step can be decomposed into finer steps.

*A high-level proof is a map of a (more detailed but larger) low-level
proof; it can be refined on demand.*

Author: Wolfgang Schreiner

Last Modification: November 30, 1999