import type { DirectiveSpec } from 'myst-common';
export declare const proofDirective: DirectiveSpec;
//# sourceMappingURL=proof.d.ts.map