logicaffeine-proof-0.9.15
Platform
Feature flags

docs.rs

Rust

logicaffeine-proof 0.9.15

Backward-chaining proof engine with Socratic hints

Crate
Source
Builds
Feature flags

..
certifier.rs
engine.rs
error.rs
hints.rs
lib.rs
oracle.rs
unify.rs