export { buildNaturalProof } from "./build-natural-proof";
export { composeNaturalProof } from "./compose-natural-proof";
export { generateNaturalProofSteps } from "./generate-natural-proof-steps";