lean-agentic
Version:
High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic
19 lines (18 loc) • 1.03 kB
TypeScript
/* tslint:disable */
/* eslint-disable */
export const memory: WebAssembly.Memory;
export const __wbg_leandemo_free: (a: number, b: number) => void;
export const leandemo_new: () => number;
export const leandemo_createVariable: (a: number, b: number) => number;
export const leandemo_demonstrateHashConsing: (a: number) => number;
export const leandemo_getStats: (a: number) => [number, number];
export const leandemo_createType: (a: number) => number;
export const leandemo_createIdentityFunction: (a: number) => number;
export const leandemo_benchmarkEquality: (a: number) => [number, number];
export const greet: (a: number, b: number) => [number, number];
export const getVersion: () => [number, number];
export const __wbindgen_export_0: WebAssembly.Table;
export const __wbindgen_free: (a: number, b: number, c: number) => void;
export const __wbindgen_malloc: (a: number, b: number) => number;
export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
export const __wbindgen_start: () => void;