The P programming language.
Consequence firewall for machine actions. EMILIA Gate verifies exact authority before money, code, permissions, infrastructure, or regulated state changes; the open protocol makes the evidence independently verifiable.
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
