copilot-theorem-2.2.1: k-induction for Copilot.
Copilot.Theorem
type Proof a = ProofScheme a () Source #
type PropId = String Source #
data PropRef a Source #
data Universal Source #
data Existential Source #