copilot-theorem-2.2.0: 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