Skip to content
#

sql-null

Star

Here is 1 public repository matching this topic...

inventor1975 / ZTL

Star 0

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.

logic paradox taint-analysis formal-verification abstract-interpretation nan zero-trust three-valued-logic lean4 dempster-shafer sql-null
  • Updated Aug 31, 2026
  • Python

Improve this page

Add a description, image, and links to the sql-null topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sql-null topic, visit your repo's landing page and select "manage topics."

Learn more