import type { Container } from 'myst-spec';
declare const PROOF_KINDS: readonly ["proof", "axiom", "lemma", "definition", "criterion", "remark", "conjecture", "corollary", "algorithm", "example", "property", "observation", "proposition", "assumption", "theorem"];
type ProofKinds = typeof PROOF_KINDS;
export type ProofKind = ProofKinds[number];
export type ProofContainer = Omit<Container, 'kind'> & {
    kind: ProofKind;
};
export {};
//# sourceMappingURL=types.d.ts.map