mirror of
https://github.com/ruvnet/RuView
synced 2026-07-28 18:21:42 +00:00
rUv
407b46b206
Add ruvnet/midstream (AIMDS real-time inference) and ruvnet/sublinear-time-solver (sublinear optimization algorithms) as vendored dependencies under vendor/.
16 lines
451 B
TypeScript
16 lines
451 B
TypeScript
/**
|
|
* 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';
|