Function composeHilbertProof

composeHilbertProof(
goal: PropFormula,
...stepGenerators: ((builder: HilbertProofBuilder) => void)[],
): HilbertProof
Creates a proof from a functional composition of step generators. Useful for building proofs from higher-order functions.
Parameters
- goal: PropFormula
  The target formula to prove
- ...stepGenerators: ((builder: HilbertProofBuilder) => void)[]
  Functions that add steps to the proof
Returns HilbertProof
The completed HilbertProof instance
Example
```
const createPremises = (builder: HilbertProofBuilder) => {
  builder.addPremise(p, "First premise")
         .addPremise(q, "Second premise");
};

const createAxioms = (builder: HilbertProofBuilder) => {
  builder.addAxiom(axiom1, "Axiom II");
};

const proof = composeHilbertProof(goal, createPremises, createAxioms);
```
- Defined in propositional/hilbert-calculus/generators/compose-hilbert-proof.ts:30