lean-ctx-protocol-0.6.0
- lean-ctx-protocol 0.6.0
- Permalink
- Docs.rs crate page
- Apache-2.0
- 11 November 2026
- Links
- Repository
- crates.io
- Source
- Owners
- yvgude
- Dependencies
- chacha20poly1305 ^0.10 normal
  chrono ^0.4 normal
  regex ^1.11 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  sha2 ^0.11 normal
  base64 ^0.22 dev
  ed25519-dalek ^2.2 dev
  hmac ^0.13 dev
- Versions
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

MAX_FACTS

lean_ctx_protocol0.6.0

In lean_ctx_protocol::hive::knowledge

lean_ctx_protocol::hive::knowledge

Constant MAX_FACTS

pub const MAX_FACTS: usize = 5000;

Expand description

1.9: 5,000 facts (wiki scale).