#

proof-harness

Here is 1 public repository matching this topic...

szl-holdings / szl-formula-ledger

ARCHIVED duplicate/hologram. Canonical: https://github.com/szl-holdings/lutar-lean

provenance compliance formal-verification governance lean4 dsse agentic-ai governed-ai machine-checked-proofs proof-harness szl-holdings doctrine-v11 lambda-conjecture-1 formula-ledger

Updated Jul 22, 2026
Python

Add this topic to your repo

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