Creates a new proof builder for constructing a Hilbert-style proof. Provides a functional, fluent API for building proofs step by step.
The target formula to prove
A new HilbertProofBuilder instance
const proof = buildHilbertProof(goalFormula) .addPremise(premiseA, "Given assumption") .addAxiom(axiomPayload, "Axiom II") .addDerivedStep(derivedPayload, "Modus Ponens") .build();if (proof.isComplete()) { console.log("Proof is valid!");} Copy
const proof = buildHilbertProof(goalFormula) .addPremise(premiseA, "Given assumption") .addAxiom(axiomPayload, "Axiom II") .addDerivedStep(derivedPayload, "Modus Ponens") .build();if (proof.isComplete()) { console.log("Proof is valid!");}
Creates a new proof builder for constructing a Hilbert-style proof. Provides a functional, fluent API for building proofs step by step.