export { NaturalProof } from "./natural-proof";
export { NaturalProofBuilder } from "./natural-proof-builder";