Variable generateStepsReadonly

Type declaration

• • <T>(input: NaturalProofStepInput<T>): PropProofStep[]

  • Generates a PropProofStep object for use in Natural-style logic derivations. Supports Assumption, Derivation, Premise, Reiteration and Shortcut step types. Applies appropriate rule-based transformations and constructs the string and symbolic expression views.

    Type Parameters

    • T

    Parameters

    • input: NaturalProofStepInput<T>

      An object with necessary data for the new proof step.

    Returns PropProofStep[]

    An array of new proof steps based on the input.