leanr-wasm
| Crates.io | leanr-wasm |
| lib.rs | leanr-wasm |
| version | 0.1.0 |
| created_at | 2025-10-25 14:56:56.519572+00 |
| updated_at | 2025-10-25 14:56:56.519572+00 |
| description | WebAssembly bindings for lean-agentic: hash-consed dependent types in the browser |
| homepage | https://ruv.io |
| repository | https://github.com/agenticsorg/lean-agentic |
| max_upload_size | |
| id | 1900310 |
| size | 11,883 |
rUv (ruvnet)
documentation
https://docs.rs/leanr-wasm