pr4xis-0.5.0
Platform
Feature flags

docs.rs

Rust

pr4xis 0.5.0

Prove your domain is correct — ontology-driven rule enforcement with category theory, logical composition, and runtime state machines

Crate
Source
Builds
Feature flags

..
action.rs
engine.rs
mod.rs
precondition.rs
situation.rs
tests.rs
trace.rs