copilot-theorem-2.2.1: k-induction for Copilot.
Copilot.Theorem.Kind2.Prover
module Data.Default
data Options Source #
Constructors
Fields
Instances
Methods
def :: Options #
kind2Prover :: Options -> Prover Source #