Skip to content

docs(proofs): allocate provenance obligations to Creusot and Verus - #179

Merged
hyperpolymath merged 2 commits into
mainfrom
codex/reconcile-173
Nov 7, 2026
Merged

docs(proofs): allocate provenance obligations to Creusot and Verus#179
hyperpolymath merged 2 commits into
mainfrom
codex/reconcile-173

Specify recording completeness and first-party wrapper proofs

351f9b4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar