#

proof-harness

Here is 1 public repository matching this topic...

szl-holdings / szl-formula-ledger

Honest, machine-checked ledger of the SZL formula corpus (proof-harness + CI). Lambda = Conjecture-1, never proven.

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 13, 2026
Python

Improve this page

Add a description, image, and links to the proof-harness 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 proof-harness topic, visit your repo's landing page and select "manage topics."