Expand description
WASM bindings for Lean-Agentic
Demonstrates hash-consing, type checking, and formal verification working in the browser via WebAssembly.
Structs§
- Lean
Demo - Demo struct showing hash-consing performance in WASM
Functions§
- get_
version - Get version information
- greet
- Simple greeting function for testing WASM works