copilot-theorem-3.0: k-induction for Copilot.
Copilot.Theorem.Kind2.Prover
data Options Source #
Constructors
Fields
Defined in Copilot.Theorem.Kind2.Prover
Methods
def :: Options #
kind2Prover :: Options -> Prover Source #