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