Variable generateStep`Readonly`

generateStep: <T>(input: HilbertProofStepInput<T>) => PropProofStep = generateHilbertProofStep

Type declaration

- <T>(input: HilbertProofStepInput<T>): PropProofStep
- Generates a PropProofStep object for use in Hilbert-style logic derivations. Supports Axiom, Derivation, Premise, Reiteration and Shortcut step types. Applies appropriate schema-based transformations and constructs the string and symbolic expression views.
  Type Parameters
  - T
  Parameters
  - input: HilbertProofStepInput<T>
    An object with necessary data for the new proof step.
  Returns PropProofStep
  A new proof step based on the input.