Projects - Dave Ingle

VertRule

Active

Reasoning. With receipts. Deterministic, auditable reasoning that pairs neural agents with reproducible provenance.

Rust Event Sourcing Truth Maintenance Symbolic Reasoning