cop-0.2.0
- cop 0.2.0
- Permalink
- Docs.rs crate page
- GPL-3.0-only
- Links
- Repository
- crates.io
- Source
- Owners
- 01mf02
- Dependencies
- colosseum ^0.2.2 normal
  hashbrown ^0.9.1 normal
  log ^0.4.17 normal
  num-bigint ^0.4.3 normal
  num-traits ^0.2.15 normal
  serde ^1.0.137 normal
  tptp ^0.31.1 normal
- Versions
- 100% of the crate is documented
Platform
Feature flags

Rust

Module context

Structs
Type Aliases

Module cop::lean::context

Expand description

Path and lemmas.

Structs

Context
Path and lemmas.

Type Aliases

Ptr
Information to rewind a context to an earlier state.