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.
Try to 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.