pr4xis 0.25.5

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

//! Proof theory — the substrate ontology grounding `logic/axiom.rs` and
//! `logic/proof.rs`. Names the concepts (Proof, Counterexample, Axiom,
//! Theorem, Cut, Normalisation, …) that core's Rust traits realise, per
//! Gentzen (1935), Prawitz (1965), Troelstra & Schwichtenberg (2000),
//! Girard-Lafont-Taylor (1989).

pub mod ontology;

pub use ontology::{
    ProofTheoryCategory, ProofTheoryConcept, ProofTheoryOntology, ProofTheoryTradition,
};