meancop-0.1.0
- meancop 0.1.0
- Docs.rs crate page
- GPL-3.0-only
- Links
- Repository
- Crates.io
- Source
- Owners
- 01mf02
- Dependencies
- clap ^3.0.0-beta.2 normal
  colosseum ^0.2 normal
  cop ^0.1 normal
  env_logger ^0.7 normal
  log ^0.4 normal
  tptp ^0.28 normal
- Versions
- 50% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Crate meancop

Version 0.1.0

See all meancop's items

Modules
Structs

Crate meancop[−][src]

Modules

parse
preprocess

Structs

Cli	Automated theorem prover for first-order logic with equality
Error