pr4xis 0.27.0

Axiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof path back to them
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

mod builder;
mod generate;
pub mod statute;
pub mod usc_corpus;
pub mod uslm;
pub mod wordnet;
pub mod xml_grammar;
pub mod xml_schemas;

pub use builder::{EntityDef, GenerateConfig, OntologyBuilder};
pub use generate::generate_rust;

// Re-export CodegenData from the always-available module.
pub use crate::codegen_data::CodegenData;