previous up next
Go backward to Proof Rules
Go up to Top
Go forward to Knowledge
RISC-Linz logo

Proof Levels

A proof can be given on various levels of detail.

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

previous up next