HERMIT.Shell.Proof

externals

data UserProofTechnique

userProofTechnique

withProofExternals

performProofShellCommand

forceProofs

data ProofShellCommand

data ProofReason