import { RuleBlock } from 'markdown-it';
export declare const newTheoremBlock: RuleBlock;
export declare const BeginTheorem: RuleBlock;
export declare const BeginProof: RuleBlock;