leanr-wasm 0.1.0

WebAssembly bindings for lean-agentic: hash-consed dependent types in the browser

Coverage
100%
11 out of 11 items documented0 out of 10 items with examples
Size
Source code size: 11.35 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 1.77 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 41s Average build duration of successful builds.
all releases: 41s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
agenticsorg/lean-agentic
51 6 0
crates.io
Dependencies
Versions
- 0.1.0 (2025-10-25)
Owners

WASM bindings for Lean-Agentic

Demonstrates hash-consing, type checking, and formal verification working in the browser via WebAssembly.