Machine-checked Lean 4 proofs behind Verdifax audit bundles: canonical-encoding determinism, injectivity, and manifest binding — cited and reproducible in every audit record.
Lean Updated 17 days ago 1 commits
vortex-ai|Mirror: Verdifax/lean-verdifax (⭐0)
17 days agoAbout
Machine-checked Lean 4 proofs behind Verdifax audit bundles: canonical-encoding determinism, injectivity, and manifest binding — cited and reproducible in every audit record.
Readme