Zero-Trust Logic — a two-valued logic over unverified inputs ("truth is never granted on credit"). Machine-checked in Lean 4 with zero axioms; certified tableau engine; measured bridges to IEEE NaN, SQL NULL, taint tracking, abstract interpretation, imprecise probabilities and provenance semirings.
Python Updated about 2 months ago 1 commits 2 stars
omega-coder|Mirror: inventor1975/ZTL (⭐2)
about 2 months agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Zero-Trust Logic — a two-valued logic over unverified inputs ("truth is never granted on credit"). Machine-checked in Lean 4 with zero axioms; certified tableau engine; measured bridges to IEEE NaN, SQL NULL, taint tracking, abstract interpretation, imprecise probabilities and provenance semirings.
Readme
2 stars