Docs.rs

pocket_prover-0.5.1
Platform
Feature flags

docs.rs

Rust

pocket_prover 0.5.1

A fast, brute force, automatic theorem prover for first order logic

Crate
Source
Builds
Feature flags

Documentation

..
lib.rs