Crate gdp_rs

I define types for using Ghosts-of-Departed-Proofs pattern in rust.

Re-exports

pub use proven::Proven;

Modules

binclassified

I define types to represent binary classified values of a subject type.

inference_rule

I define types for representing inference rules.

predicate

I define types for representing predicates and related.

proven

I define Proven struct, for representing a proven proposition about a subject.