This package contains classes for proof environments and proof management. For example, proof management ensures that contract applications cannot lead to unsound cyclic dependencies between proofs.