Copilot.Theorem.Prover.Z3

data Options

induction

kInduction

onlySat

onlyValidity