/**
 * Lean Agentic Learning System - TypeScript/JavaScript Client
 *
 * A revolutionary learning framework combining:
 * - Formal reasoning (Lean-style theorem proving)
 * - Agentic AI (autonomous decision-making)
 * - Stream learning (real-time online adaptation)
 * - Knowledge evolution (dynamic theorem store)
 */

export * from './types';
export * from './client';
export * from './agent';
export * from './knowledge';
export * from './stream';