Repository navigation

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

Commits on Nov 7, 2026
- docs(proofs): allocate provenance Creusot and Verus obligations
  hyperpolymath
  authored
  3f2015e
- Specify recording completeness and first-party wrapper proofs
  hyperpolymath
  authored
  351f9b4