/**
 * Lean runtime executor.
 *
 * Executes Lean 4 code via the lean CLI with source caching.
 */
import { Runtime } from './base.js';
export declare class LeanRuntime implements Runtime {
    execute(code: string, context: unknown, config: any): Promise<unknown>;
}
//# sourceMappingURL=lean.d.ts.map