copilot-theorem-2.2.0: k-induction for Copilot.

Safe HaskellSafe
LanguageHaskell2010

Copilot.Theorem

Documentation

type Proof a = ProofScheme a () Source