ap.proof.theoryPlugins
General interface for a theory-specific procedure that can be applied by a prover to reason about interpreted symbols.
Apply this procedure to the given goal.
Determine in which state a given goal is.
An implicit function to simplify cascading of possible actions.
General interface for a theory-specific procedure that can be applied by a prover to reason about interpreted symbols.