copilot-theorem-3.2: k-induction for Copilot.
Safe HaskellTrustworthy
LanguageHaskell2010

Copilot.Theorem.Kind2.Prover

Documentation

module Data.Default

data Options Source #

Constructors

Options 

Fields

Instances

Instances details
Default Options Source # 
Instance details

Defined in Copilot.Theorem.Kind2.Prover

Methods

def :: Options #

kind2Prover :: Options -> Prover Source #