Copilot.Theorem.Prove

data Output

data Status

data Prover

type PropId

data PropRef a

type Proof a

type UProof

data ProofScheme a b

data Action

data Universal

data Existential

check

prove

combine