/Contact
Budapest, Hungary
hello@zeroproofml.com
dome@zeroproofml.com
ZeroProofML 0.6.0 hardens the strict-inference contract: stable fault/semantic provenance, fail-closed non-finite routing, explicit simplification modes, and named projective gauge conventions.