poi-0.4.0
Platform
Feature flags

Rust

poi 0.4.0

A pragmatic point-free theorem prover assistant

Crate
Source
Builds
Feature flags

assets
examples
source
src
.cargo_vcs_info.json
.gitignore
Cargo.lock
Cargo.toml
Cargo.toml.orig
LICENSE-APACHE
LICENSE-MIT
README.md

{
  "git": {
    "sha1": "352311b7a0645383dd1e05a3eae573ede451da3a"
  }
}