Docs.rs

metacat-cli-0.2.0

docs.rs

Rust

metacat-cli 0.2.0

metacat: a categorical theorem prover

Crate
Source
Builds
Feature flags

src
.cargo_vcs_info.json
Cargo.lock
Cargo.toml
Cargo.toml.orig