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
| Filename | Content Type | Size | |
|---|---|---|---|
| ../ | |||
| 6.47 kB | |||
| 1.86 kB | |||
| 6.83 kB | |||