pr4xis 0.22.1

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
13

pub mod analogy;
pub mod catalog;
pub mod context;
pub mod ontology;
pub mod structural;

pub use ontology::{ReasoningCategory, ReasoningConcept, ReasoningOntology, ReasoningTradition};

pub use analogy::Analogy;
pub use catalog::structural_axioms_for;
pub use structural::{
    AntisymmetricOnKind, AsymmetricOnKind, IrreflexiveOnKind, NoCyclesOnKind, SymmetricOnKind,
};