nibli-protocol-0.1.0
- nibli-protocol 0.1.0
- Docs.rs crate page
- MIT OR Apache-2.0
- 03 August 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- dhilipsiva
- Dependencies
- nibli-types ^0.1.0 normal
  serde ^1 normal
  serde_json ^1 normal
- Versions
- 26.67% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

nibli_protocol0.1.0

Crate Items

Structs
Enums
Functions

List of all items

Structs

KbStatus
LineResult
ProofStep
ProofTrace

Enums

LogicalTerm
ProofRule

Functions

proof_trace_from_json
proof_trace_to_json