export declare const MkdocsTabTitle: Record<string, string>;
export declare const ProblemAssetsName = "problem-assets";