pr4xis 0.3.0

Prove your domain is correct — ontology-driven rule enforcement with category theory, logical composition, and runtime state machines
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

mod domain;
mod property;
pub mod reasoning;
pub mod upper;
pub mod validate;

pub use crate::logic::Axiom;
pub use domain::Ontology;
pub use property::Quality;

#[cfg(test)]
mod tests;